下列命题公式中,逻辑等值式成立的是()。
A: p↔q=¬q↔¬p
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 ⇔ ¬p∨q B: p→q ⇔ q→p C: ¬(p∨q) ⇔ ¬p∨¬q D: p∧(q∨p) ⇔ q
- 下列等值关系成立的命题有( ) A: ¬(P∧¬q)←→(¬p∨q) B: ¬(¬p∨q)←→(p∧¬q) C: ¬(p→¬q)←→(p∧q) D: ¬(¬p←q)←→(p∧q)
- 与命题公式“p → q ”逻辑等值的有（ ）。 A: q∨p B: (p∧ｑ) C: ｐ∨q D: ｐ→ｑ
- 下列命题公式中是永假式的是:()。 A: (¬p∧q)∧(p∧¬q) B: (¬p∨q)∧(p∨¬q) C: (¬p∨q)∨(p∨¬q) D: (¬p∧q)∨(p∧¬q)
- 命题公式p→(q→r)与以下哪些命题公式等值（） A: (p∧q)→ B: (p∨q)→ C: ¬p∨¬q∨ D: ¬p∧¬q∧ E: p→q→