离散数学考试试题(A卷及答案)

离散数学考试试题（A卷及答案） 一、（10分）判断下列公式的类型（永真式、永假式、可满足式）？1)((PQ)∧Q)((Q∨R)∧Q) 2)((QP)∨P)∧(P∨R) 3)((P∨Q)R)((P∧Q)∨R) 解：1)永真式；2）永假式；3)可满足式。 二、（8分）个体域为{1，2}，求xy（x+y=4）的真值。 解：xy（x+y=4）x（（x+1=4）∨（x+2=4）） （（1+1=4）∨（1+2=4））∧（（2+1=4）∨（2+1=4）） （0∨0）∧（0∨1） 1