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

问题描述:

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

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