离散数学考试试题a

一.(8分)求与公式(x2 or not x1)->x3 逻辑等值的主合取范式和主析取范式.二.(8分)判断下列各公式是: 1.永真式 2.永假式 3.其它(1) (p->(q->r))->(q->