西安电子科技大学$1.6.2逻辑推理软件学院求以下命题公式的主析取范式(P-→Q) ^(-R→P)介(-PVQ)A(RVP)仁(-PAR)V(-PAP)V(QAR)V(QAP)仁(-P ^ R)V(Q ^ R)V(Q ^ P)仁(-PAQAR)V(-PA-QAR)V(PAQAR)V(PAQA-R)由于王教授说的是实情，所以：(P-Q)^(-R-P)的真值为T为T。并且三人中只有一人被录取，因此只能是(-PΛ-Q^R)故丙被王教授录取。西安电子科技大学 软件学院 故丙被王教授录取。 §1.6.2 逻辑推理 (P→Q) ∧(¬R→P) 求以下命题公式的主析取范式： ⇔ (¬P∨Q)∧(R∨P) (¬P∧R)∨(¬P∧P)∨(Q∧R)∨(Q∧P) (¬P ∧ R)∨(Q ∧ R)∨(Q ∧ P) (¬P∧Q∧R)∨(¬P∧¬Q∧R)∨(P∧Q∧R)∨(P∧Q∧¬R ) ⇔ ⇔ ⇔ 由于王教授说的是实情，所以： (P→Q)∧(¬R→P) 的真值为T 并且三人中只有一人被录取，因此只能是 (¬P∧¬Q∧R) 为T