┐(┐R→P)∧P∧Q如何求主合取范式与主析取范式,

2024年11月22日 09:56
有1个网友回答
网友(1):

答:┐(┐R→P)∧P∧Q
=┐(┐┐RVP)∧P∧Q
=┐R∧┐P∧P∧Q
=0
所以,原式的主析取范式为 0
主合取范式为:(┐PV┐QV┐R)∧ (┐PV┐QVR)∧(┐PVQV┐R)∧(┐PVQVR)∧(PV┐QV┐R)∧(PV┐QVR)∧(PVQV┐R)∧(PVQVR)