（多选）下列等值式成立的有（）。
A: P→Q⇔¬Q→¬P
B: P∨（P∧R）⇔R
C: P∧（P→Q）⇔Q
D: P→（Q→R）⇔（P∧Q）→R
A: P→Q⇔¬Q→¬P
B: P∨（P∧R）⇔R
C: P∧（P→Q）⇔Q
D: P→（Q→R）⇔（P∧Q）→R
举一反三
- 求┐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)
- 【单选题】下列等值式成立的是哪个? A. P → Q 等值于 ┓P→┓Q B. P∨(P∧R)等值于 R C. P∧(P → Q)等值于Q D. P → (Q → R)等值于(P∧Q) → R
- ～（p→（q∨r））等值于（）。 A: （p∨（～q∧r）） B: （p∧（～q∧～r）） C: （p∧（～q∨～r）） D: （p∨（～q∨～r）
- 公式（p∨q）→r的主合取范式是（ ） A: (P∨Q∨┐R)∧(┐P∨┐Q∨R)∧ (P∨┐Q∨R) B: (┐P∨Q∨R)∧(┐P∨┐Q∨R)∧ (P∨┐Q∨R) C: (P∨┐Q∨┐R)∧(┐P∨┐Q∨R)∧ (P∨┐Q∨R) D: (┐P∨Q∨┐R)∧(┐P∨┐Q∨R)∧(┐P∨┐Q∨┐R)
- 命题公式(p→q)∧「r的主析取范式为___________。 A: (﹁p∧﹁q∧﹁r)∨(﹁p∧q∧﹁r)∨(p∧﹁q∧﹁r) B: (﹁p∧﹁q∧﹁r)∨(﹁p∧q∧﹁r)∨(p∧q∧﹁r) C: (﹁p∧﹁q∧﹁r)∨(p∧﹁q∧﹁r)∨(p∧q∧﹁r) D: (﹁p∧q∧﹁r)∨(p∧﹁q∧﹁r)∨(p∧q∧﹁r)