西安电子科技大学S1.3.1逻辑等价式软件学院茶家家家教家【例题】证明命题公式P→Q与一PVQ等价，解答：首先给出(P→Q)+(-PVQ)的真值表，如表1.2-1所示。表1.2-1PQP→Q-PVQ(P→Q)+(-PYQ)0011111101001011111可以看出(P→Q)+(一PVQ)是重言式，因此有P→+Q与-PVQ等价。西安电子科技大学 §1.3.1 逻辑等价式 软件学院