search

iorin-elmo / elm-LogicCalculator

1 stars 0 forks source link

DPLLの実装 #1

Open YuyaAizawa opened 4 years ago

iorin-elmo commented 4 years ago

論理式全体をCNFにする -> 1リテラル規則や純リテラル規則を用いて単純化 -> x⋏¬xのようなものが残ったら充足不能，何も残らなかったら充足可能

って感じかな