求┐(P双向Q)∧(┐P蕴含R)的主析取范式、主合取范式
原式 ┐(P↔Q)∧(┐P→R)
=┐((P∧Q)∨(┐P∧┐Q))∧(P∨R)
=(┐P∨┐Q)∧(P∨Q)∧(P∨R)
=(┐P∨┐Q∨┐R)∧(┐P∨┐Q∨R)∧(P∨Q∨┐R)∧(P∨Q∨R)∧(P∨┐Q∨R)
原式 ┐(P↔Q)∧(┐P→R)
=┐((P∧Q)∨(┐P∧┐Q))∧(P∨R)
=(┐P∨┐Q)∧(P∨Q)∧(P∨R)
=(┐P∨┐Q∨┐R)∧(┐P∨┐Q∨R)∧(P∨Q∨┐R)∧(P∨Q∨R)∧(P∨┐Q∨R)
共有 0 条评论