下列式子正确的是（ ）
A: A．P ®Q Û Q ®P
B: P ®Q Û﹁P∨Q
C: P ®Q Û﹁Q∨P
D: P ®Q Û﹁Q∨﹁P
A: A．P ®Q Û Q ®P
B: P ®Q Û﹁P∨Q
C: P ®Q Û﹁Q∨P
D: P ®Q Û﹁Q∨﹁P
举一反三
- Q∨ù((P®Q)∧P)ÛQ∨ù((ùP∨Q)∧P)Q∨¬((P→Q)∧P)⇔Q∨¬(¬P∨Q)∧P)Q∨((P∨Q)∧P)
- 式子((﹁P∨﹁Q)∧( ﹁P∨T))的对偶式是（ ） A: ((P∨Q)∧( P∨F)) B: ﹁((﹁P∧﹁Q)∧( ﹁P∧F)) C: ﹁((﹁P∧﹁Q)∨( ﹁P∧Q)) D: ((﹁P∧﹁Q)∨(﹁P∧F))
- 下列推理中，有效的是 （ ） A: p ← ﹁q ﹁q ________ p B: ﹁p∨﹁q ﹁P _______ q C: ﹁p∨q ﹁q ______ ﹁p D: ﹁p → ﹁q ﹁q __________ ﹁p E: ﹁p ← ﹁q p ______________ ﹁q
- ┐(P∨Q) ←→(P∧Q)的主析取范式是（ ） A: (Q∧┐P)∨(P∧＞Q) B: (┐P∧Q)∨(P∧┐Q) C: (Q∧P)∨(P∧┐Q) D: (┐P∨Q)∧(Q∧┐P)
- ┐(P∨Q) ←→(P∧Q)的主析取范式是: (Q∧P)∨(P∧┐Q)|(Q∧┐P)∨(P∧＞Q)|(┐P∧┐Q)∨(P∧Q)|(┐P∨Q)∧(Q∧┐P)