下列公式成立的为( )
A: ØP∧ØQÛP∨Q
B: P®ØQÛØP®Q
C: Q®PÞP
D: ØP∧(P∨Q)ÞQ
A: ØP∧ØQÛP∨Q
B: P®ØQÛØP®Q
C: Q®PÞP
D: ØP∧(P∨Q)ÞQ
举一反三
- 下列命题公式中,逻辑等值式成立的是()。 A: p↔q=¬q↔¬p B: p→q=q→p C: ¬(p∨q)=¬p∨¬q D: p∧(q∨p)=q
- 下列命题公式中，逻辑等值式成立的是( )。 A: p→q ⇔ ¬p∨q B: p→q ⇔ q→p C: ¬(p∨q) ⇔ ¬p∨¬q D: p∧(q∨p) ⇔ q
- 下列命题公式中为永真式的有( ) A: (P→Q)↔(¬Q→¬P) B: (P→Q)→(¬Q→¬P) C: (P→Q)→(¬P→¬Q) D: (P→Q)↔(¬P→¬Q)
- 下列公式为重言式的是()。 A: ¬p∧¬q B: (p→¬q)∧p C: (q→p)→p D: (¬p∨q)↔（p→q）
- 【单选题】求公式 Q ∨ (P → Q) 主析取范式。 A. (P∧﹁Q)∨(﹁P∧Q)∨(P∧Q) B. (﹁P∧﹁Q)∨(P∧﹁Q)∨(P∧Q) C. (﹁P∨﹁Q)∧(P∨﹁Q)∧(P∨Q) D. (﹁P∧﹁Q)∨(﹁P∧Q)∨(P∧Q) 答