CNF
連言標準形
（CNF; Conjunctive normal form）
確認用
Q. CNF
参考
連言標準形
関連
選言標準形
(DNF)
アルゴリズム
Tseitin変換
メモ
Tseitin変換と、最初からCNFを作る考え方 #論理演算 - Qiita
Normal and Principle Forms - GeeksforGeeks
#SAT問題