(p→q)∧(q→r)
⇔ (¬p∨q)∧(¬q∨r) 变成 合取析取
⇔则汪消 (¬p∨q∨(¬r∧r))∧((¬p∧p)∨¬q∨r) 补项
⇔ ((¬p∨q∨¬r)∧(¬p∨q∨r))∧((¬p∧p)∨¬q∨r) 分配律
⇔ (¬p∨q∨¬r)∧(¬p∨q∨r)∧((¬p∧p)∨¬q∨r) 结合孙知律
⇔ (¬p∨q∨¬r)∧(¬p∨q∨r)∧((¬p∨¬q∨r)∧(p∨¬q∨r)) 分配律
⇔ (¬p∨q∨¬r)∧(¬p∨q∨r)∧(¬p∨¬q∨r)∧(p∨¬q∨r) 结合律
得到主合取范式，
再检查遗漏的极大项
⇔ M1∧M2∧M3∧M5
⇔ ∏(1,2,3,5)
⇔ ¬∏(1,2,3,5)
⇔ ∑(1,2,3,5)
⇔ m1∨m2∨m3∨m5
⇔ ¬(p∨q∨r)∨¬(p∨q∨陵冲¬r)∨¬(p∨¬q∨¬r)∨¬(¬p∨¬q∨¬r) 德摩根定律
⇔ (¬p∧¬q∧¬r)∨(¬p∧¬q∧r)∨(¬p∧q∧r)∨(p∧q∧r) 德摩根定律
内容全部来源于网络收集，如有侵权，请联系网站删除：QQ：24596024