原式 ┐(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)