例1:证明PA_PvQ=Q 证明画出(PA-PQ与Q的真值表可看出等 式是成立的。 PQP∧PP∧P)∨Q FFTT FTFT FFFF图 FTFT 2.1.1例1: 证明(P∧P)∨Q = Q 证明: 画出(P∧P)∨Q与Q的真值表可看出等 式是成立的