（1）
(¬p→q)→(¬q∨p)
⇔ ¬(¬p→q)∨(p∨¬q) 变成 合取析取
⇔ ¬(p∨q)∨(p∨¬q) 变成 合取析取
⇔ (¬p∧¬q)∨(p∨¬q) 德摩根定律
⇔ (¬p∧¬q)∨(p∧(q∨¬q))∨(p∨¬p)∧¬q) 补项
⇔ (¬p∧¬q)∨(p∧q)∨(p∧¬q) 分配率 幂等率
得到主析取范式
（3）
(p∨(q∧r))→(p∨q∨r)
⇔ ¬(p∨(q∧r))∨(p∨q∨r) 变成 合取析取
⇔ (¬(p∨(q∧r))∨p)∨q∨r 结合律
⇔（¬(q∧r)∨p）∨q∨r 吸收率
⇔（¬q∨¬r∨p）∨q∨r 德摩根定律
⇔ T 重言式
⇔ (¬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