西安电子科技大学S1.4.2 主合取范式软件学院家【例题】求命题公式A=-P^（Q→R)的主合取范式。方法一、真值表法R- PA(QR)PQQ-→R0V10110010001111-00001-P A(Q-R)台 (-PVQVR)A(-PVQY-R)A(-PV-QVR)A(-PV-QY-R)A(PY-QVR)台(2, 4, 5, 6, 7)西安电子科技大学 软件学院 【例题】求命题公式A=¬P ∧ (Q → R)的主合取范式。 方法一、真值表法 §1.4.2 主合取范式