P Q R P∧Q ┐P∧R （P∧Q）∨（┐P∧R）0 0 0 0 0 00 0 1 0 1 10 1 0 0 0 00 1 1 0 1 11 0 0 0 0 01 0 1 0 0 01 1 0 1 0 11 1 1 1 0 1原公式的主析取范式：(┐P∧┐Q∧R)V(┐P∧Q∧R)V(P∧Q∧┐R)V(P∧Q∧R)主合取范式：(┐PVQV┐R)∧(┐PVQVR)∧(PV┐QVR)∧(PVQVR)
