((p∨q)→r)→p
??((p∨q)→r)∨p 变成 交并
??(?(p∨q)∨r)∨p 变成 交并
?((p∨q)∧?r)∨p 德摩根定律
?((p∨q)∨p)∧(?r∨p)
?(p∨q)∧(?r∨p)
?(p∨q∨(r∧?r))∧(p∨(?q∧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