我们不能既划船（P）又跑步（Q）。
A: ￢(P∧Q)
B: ￢P∧￢Q
A: ￢(P∧Q)
B: ￢P∧￢Q
A
举一反三
- 设P:我们划船，Q：我们跑步。在命题逻辑中，命题：“我们不能既划船又跑步”可符号化为： A: P→Q B: ￢（P∧Q） C: P∨Q D: P∧￢Q
- 【单选题】命题公式(p→q)∧q→p的主析取范式为________。 A. (￢p∧￢q)∨(￢p∧q)∨(p∧￢q) B. (￢p∧￢q)∨(￢p∧q)∨(p∧q) C. (￢p∧￢q)∨(p∧￢q)∨(p∧q) D. (￢p∧q)∨(p∧￢q)∨(p∧q)
- 计算（￢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)
- P→(Q∧P)的主析取范式是（ ）。 A: ￢P∨Q B: ￢P∧Q C: (￢P∧Q)∨(￢P∧￢Q)∨(P∧Q) D: (￢P∨Q)∧(￢P∨￢Q)∧(P∨Q)
- 命题公式p→q的主合取范式是（） A: ￢p∨q B: p∨q C: (￢p∧￢q)∨(￢p∧q)∨(p∧q) D: (￢p∧￢q)∨(p∧￢q)∨(p∧q)
内容
- 0
命题公式p→q的主析取范式是（） A: ￢p∨q B: p∨q C: (￢p∧￢q)∨(￢p∧q)∨(p∧q) D: (￢p∧￢q)∨(p∧￢q)∨(p∧q)
- 1
命题公式p→q的主析取范式是（） A: ￢p∨q B: p∨q C: (￢p∧￢q)∨(￢p∧q)∨(p∧q) D: (￢p∧￢q)∨(p∧￢q)∨(p∧q)
- 2
计算(P→Q)∧(￢P→R)的主析取范式规范正确的是 ——————— 。 A: (￢P ∧ R) ∨ (P ∧ Q) ∨ (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)
- 3
计算（￢P → Q）←→ R析取范式规范正确的是 ——————— 。 A: (P ∧ ￢Q ∧ ￢R) ∨ (P ∧ R) ∨ ( Q ∧ R) B: (￢P ∧ ￢Q ∧ ￢R) ∨ (P ∧ R) ∨ ( Q ∧ R) C: (P ∧ ￢Q ∧ ￢R) ∨ (P ∧ Q) ∨ ( Q ∧ R) D: (P ∧ ￢Q ∧ ￢R) ∨ (￢P ∧ Q) ∨ ( Q ∧ R)
- 4
【多选题】下列命题公式哪些是析取范式? 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