求┐(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)的主析取范式、主合取范式最先出现在Python成神之路。