P∨(¬P→(Q∨(¬P→R)))
⇔P∨(P∨(Q∨(¬P→R))) 变成 合取析取
⇔P∨(P∨(Q∨(P∨R))) 变成 合取析取
⇔P∨P∨(Q∨(P∨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) 德摩根定律
⇔(¬P∧¬Q∧R)∨(¬P∧Q∧¬R)∨(¬P∧Q∧R)∨(P∧¬Q∧¬R)∨(P∧¬Q∧R)∨(P∧Q∧¬R)∨(P∧Q∧R) 德摩根定律
得到主析取范式
内容全部来源于网络收集，如有侵权，请联系网站删除：QQ：24596024