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

来源:学生作业帮助网 编辑:作业帮 时间:2024/04/29 07:45:56
┐(┐R→P)∧P∧Q如何求主合取范式与主析取范式,

┐(┐R→P)∧P∧Q如何求主合取范式与主析取范式,
┐(┐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)