NULL
博文链接：https://tlk20071.iteye.com/blog/1283378
2021-12-22 11:44:12
140KB
1
计算CNF形式的等价公式的办法：
1 写出完整真值表
2 对每一个赋值为F的行构造一个文字的析取
注意：当原子在该行是真的，则否定该原子
3 由这些析取句子构造CNF形式公式，即为原公式的等价公式
为什么对任何公式Ф，这种方法都是可行的呢？
因为这样构造的公式Ф=ᴪ1 Λᴪ2 Λ...Λᴪn 是假
至少一个合取项ᴪi是假的。
ᴪi =p1 V p2 V...V pn
所有析取项pi 为假
德摩根律：┐p1 V┐ p2 V...V ┐pn ≡ ┐(p1 Λ p2 Λ...Λ pn ) 一定是真
为什么对任何公式，这种方法都是可行的呢？因为这样构造的公式是假的当且仅当至少有一个合取项是假的。但是我们得到的那些文字句法的析取一定是真的
2021-12-21 10:23:45
5.11MB
1