构造下列命题的真值表。 （1）¬（P→Q）∧Q。 （2）（P→¬Q）→¬Q。 （3）P→Q∨R。 （4）P↔¬Q。 （5）（（P∨Q）→R）↔S。
举一反三
- 构造下列命题公式的真值表。(1)q∧(p→q)→p(2)p→(q∨r)(3)(p∨q)↔(q∨p)
- 用真值表判断下列公式的类型 (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∨Q, ¬（Q∧R）,R；结论：¬P。 （2）前提：（P→Q）→（Q→R）,R→P;结论：Q→P。 （3）前提：P→（Q→R）, ¬S∨P;结论：Q→（S→R）。 （4）前提：¬P∧¬Q;结论：¬（P∧Q）。 （5）前提：P→¬Q,R∨S,S→¬Q;结论：¬P
- 求下列命题公式的主析取范式、主合取范式、成真赋值、成假赋值。 （1）P∨（Q∧¬R）。 （2）P∨（Q∧R）→P∧Q∧R。 （3）¬（P→Q）∧Q∧R。 （4）（P→Q）→R。 （5）（¬P→Q）→（¬Q∧P）。
- 设命题P、Q的真值为“1“,命题R,S的真值为”0”,则下列哪个命题的真值为”0“ A: P∧Q∧R B: ┑(P∧Q)∨┑R C: (P →┑R)∧(Q∧┑S) D: (P →Q)∧(R→S)