公式(┐P∧Q)∨( ┐P∧┐Q)可化简为( )。
A. ┐P
B. Q→P
C. P
D. P→Q
下列表达公式之间的关系正确的是()
A. P→(Q→Q)⇒Q→P
B. ┐Q⇒P→Q
C. P⇒P→Q
D. ┐P∧(P∨Q)⇒ ┐P
下列公式中哪个不是永真式?( )
A. (┐P∧Q)→(Q→┐R)
B. P→(Q→Q)
C. (P∧Q)→P
D. P→(P∨Q)
下列表达公式之间的关系错误的是( )
A. ┐P∧(P∨Q)⇒ ┐P
B. P∧Q⇒P
C. P∨Q ⇒P
D. P∧(P→Q)⇒Q