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

2024-11-22 09:56:20
推荐回答(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)