列出下列各式的真值表 （P ∧ Q）∨（ ¬P ∧ ¬ Q ）， P↔Q ，(P→Q) ∧(Q→P)
举一反三
- 列出下列各式的真值表 P→(Q→R)
- 构造下列命题公式的真值表。(1)q∧(p→q)→p(2)p→(q∨r)(3)(p∨q)↔(q∨p)
- 构造下列命题的真值表。 （1）¬（P→Q）∧Q。 （2）（P→¬Q）→¬Q。 （3）P→Q∨R。 （4）P↔¬Q。 （5）（（P∨Q）→R）↔S。
- 用真值表判断下列公式的类型 (1)p→(p∨q∨r) (2)(p→Øp)→Øq (3) Ø(q→r)∧r (4)(p→q)→(Øq→Øp) (5)(p∧r) « (Øp∧Øq) (6)((p→q)∧(q→r))→(p→r) (7)(p→q) « (r«s)
- 使用真值表法判断下列推理是否正确（1） ¬p，p ∨ q ⇒ p ∧ q（2） ¬q ∧ r，r ∧ p，q ⇒ p ∨¬q