已知公式¬(q→p)∧p是矛盾式,则公式¬(q→p)∧p∧¬r 的成假赋值有多少个?
8
举一反三
内容
- 0
下面公式是合取范式的有() A: p B: ¬p C: p∨¬q D: p∨¬q∨ E: p∧¬q F: (p∧¬q)∨ G: (p∧¬q)∨r∨(p→r) H: ¬(p∧¬q)∨ I: p∧(q∨r) J: (p∨¬r)∧(¬q∨r)∧(¬p∨q∨r)
- 1
求公式的成假赋值:(p→q)∧((¬p∧r)∨p)。
- 2
下面公式是合取范式的有() A: ¬p B: (p∧¬q)∨ C: (p∧¬q)∨r∨(p→r) D: (p∨¬r)∧(¬q∨r)∧(¬p∨q∨r)
- 3
【多选题】下列命题公式哪些是析取范式? A. (¬p∧¬q)∨(q∧r) B. (p∨¬q)∧(¬p∨q) C. (¬p∧¬r)∨q D. (p∨q)∧¬q E. ¬p∨q F. ¬p∧¬q∧¬r G. ¬p, q, 1, 0
- 4
计算(¬P → Q)←→ R主析取范式规范正确的是 ——————— 。 A: (P ∧ Q ∧ ¬R) ∨ (P ∧ ¬Q ∧ R) ∨ (¬P ∧ Q ∧ R) ∨ ( ¬P ∧ ¬Q ∧ R) B: (P ∧ Q ∧ ¬R) ∨ (P ∧ ¬Q ∧ R) ∨ (¬P ∧ Q ∧ R) ∨ ( ¬P ∧ ¬Q ∧ R) C: ( P ∧ Q ∧ R)∨ (P ∧ ¬Q ∧ R)∨ (¬P ∧ Q ∧ R) ∨ (¬P ∧ ¬Q ∧ ¬R) D: (¬P ∧ ¬Q ∧ ¬R) ∨ (¬P ∧ Q ∧ R) ∨ (P ∧ ¬Q ∧ R) ∨ ( P ∧ Q ∧ R)