离散数学,主析取范式与主合取范式.谢谢了.?
┐(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∨m7 (主析取范式),2,离散数学,主析取范式与主合取范式.谢谢了.
求┐(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∨m7 (主析取范式),2,离散数学,主析取范式与主合取范式.谢谢了.
求┐(P∧Q)→R的主析取范式与主合取范式.