下列个符合命题的真值表有多少行？A. p→￢q ：_________B. (p∨￢r)∧(q∨￢s) ：_________C. q∨p∨￢s∨￢r∨￢t∨u ：_________D. (p∧r∧t)→(q∧t) ：_________
举一反三
- 构造以下复合命题的真值表。A. p→(￢q∨r) ：_________B. ￢p→(q→r) ：_________C. (p→q)∨(￢p→r) ：_________D. (p→q)∧(￢p→r) ：_________E.(p→q)∧(￢p∨q) ：_________
- 【多选题】下列命题公式哪些是析取范式? 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
- 计算（￢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)
- ( )不是正确的推理形式。 A: 前提：￢p∧q,p∨￢r,r∨s,s→u 结论：u B: 前提：(p∧q)→r, ￢r∨s,￢s,p 结论：￢q C: 前提：(p∧q)→r,￢r∨s, ￢s,p 结论：q D: 前提：p∨q,p→s,q→r 结论：s∨
- 计算(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)