下列公式 ( )为重言式.

问题描述:

下列公式 ( )为重言式.
A.┐P^┐Q↔PvQ
B.(Q→(PvQ))↔(┐Q^(PvQ))
C.(P→(┐Q→P))↔(┐P→(P→Q))
D.(┐Pv(P^Q)) ↔Q
大侠们!

选C,反复用蕴涵等值式A→B=┐AvB.
C项中:
左边=(P→(┐Q→P))
=(P→(QvP)
=┐PvQvP
=1vQ
=1
右边=(┐P→(P→Q))
=┐P→(┐PvQ)
=Pv(┐PvQ)
=1vQ
=1
所以是永真式,也就是重言式