下列命题公式等值的是( )
A. ¬P∧¬Q,P
B. A→(A→B),¬A→(A→B)
C. Q→(P∨Q),¬Q∨P∨Q
D. ¬A∨(A∧B),B
若P:他聪明;Q:他用功;则“他虽聪明,但不用功”,可符号化为( )
A. P∨Q
B. P∧┐Q
C. P→┐Q
D. P∨┐Q
以下命题公式中,为永假式的是( )
A. p→(p∨q∨r)
B. (p→┐p)→┐p
C. ┐(q→q)∧p
D. ┐(q∨┐p)→(p∧┐p)
全体极大项的合取式为( )
A. 可满足式
B. 矛盾式
C. 永真式
D. 以上都有可能