答:┐(┐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)
答:┐(┐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)