求助，一个很简单很基础的大学离散数学选择题

Question

下列公式 ( )为重言式．
A. ┐P＾┐Q↔PvQ
B. (Q→(PvQ))↔(┐Q＾(PvQ))
C. (P→(┐Q→P))↔(┐P→(P→Q))
D. (┐Pv(P＾Q)) ↔Q
拜托了，大侠们！

Answer 1

B 永远为真,也叫永真式