式子((﹁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)∧( P∨F))
B: ﹁((﹁P∧﹁Q)∧( ﹁P∧F))
C: ﹁((﹁P∧﹁Q)∨( ﹁P∧Q))
D: ((﹁P∧﹁Q)∨(﹁P∧F))
举一反三
- (p → q) ∧ (¬p → q) 的逻辑等价形式有 A: F→ q B: T→ q C: q D: (¬p ∧ q) ∨ (p ∧ q) ∨q E: (¬p ∧ q) ∨q
- 命题公式(P∧Q)∨(¬P∧¬Q)的成真赋值有()。 A: P 取 T,Q 取 T B: P 取 T,Q 取 F C: P 取 F,Q 取 T D: P 取 F,Q 取 F
- 下列式子正确的是( ) A: A.P ®Q Û Q ®P B: P ®Q Û﹁P∨Q C: P ®Q Û﹁Q∨P D: P ®Q Û﹁Q∨﹁P
- 已知命题公式:﹁(P ∧(P∨ Q)),求它的对偶式 A: ﹁(P ∧(P∨ Q)) B: ﹁(P ∨(P∧ Q)) C: ﹁P ∨﹁(P∧Q) D: ﹁P∨(﹁P∧﹁Q)
- 求┐P∨(Q∧R) →(P∨Q) ∧┐R的对偶式 A: (P∧(┐Q∧┐R)) ∧((P∧Q)∨┐R) B: (P∨(┐Q∧┐R)) ∧((P∧Q)∨┐R) C: (P∧(┐Q∧┐R)) →((P∧Q)∨┐R) D: (P∨(┐Q∨┐R)) ∧((P∧Q)∨┐R)