离散数学,主析取范式与主合取范式.谢谢了.求┐(P∧Q)→R的主析取范式与主合取范式.
问题描述:
离散数学,主析取范式与主合取范式.谢谢了.
求┐(P∧Q)→R的主析取范式与主合取范式.
答
┐(P∧Q)→R ┐┐(P∧Q)∨R (P∧Q)∨R (P∨R)∧(Q∨R) (P∨Q∨R)∧(P∨┐Q∨R)∧(P∨Q∨R)∧(┐P∨Q∨R) (P∨Q∨R)∧(P∨┐Q∨R)∧(┐P∨Q∨R) M0∧M2∧M4 (主合取范式) m1∨m3∨m5∨m6∨...