与命题公式(P∨Q)∧(P∨R)等价的析取范式有()
A: P∨(Q∧R)
B: (P∧P)∨(Q∧R)
C: P∨(Q∧¬Q)∨(Q∧R)
D: P∨(P∧R)∨(Q∧R)
A: P∨(Q∧R)
B: (P∧P)∨(Q∧R)
C: P∨(Q∧¬Q)∨(Q∧R)
D: P∨(P∧R)∨(Q∧R)
A,B,C,D
举一反三
- 计算(¬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→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)
- 给定命题公式:(¬P∨Q)∧(P→R),与之等价的是() A: P→(¬Q∧R) B: P→(Q∨R) C: P→(Q∧R) D: ¬P→(Q∧R)
- 计算(¬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)
- 命题公式(p→q)∧「r的主析取范式为___________。 A: (﹁p∧﹁q∧﹁r)∨(﹁p∧q∧﹁r)∨(p∧﹁q∧﹁r) B: (﹁p∧﹁q∧﹁r)∨(﹁p∧q∧﹁r)∨(p∧q∧﹁r) C: (﹁p∧﹁q∧﹁r)∨(p∧﹁q∧﹁r)∨(p∧q∧﹁r) D: (﹁p∧q∧﹁r)∨(p∧﹁q∧﹁r)∨(p∧q∧﹁r)
内容
- 0
计算(P→Q)∧(¬P→R)的析取范式正确的是 ——————— 。 A: (¬P ∧ Q) ∨ (P ∧ R) B: (¬P ∨ Q) ∧ ( P ∨ R) C: (¬P ∧ R) ∨ (P ∧ Q) ∨ (Q ∧ R) D: (¬P ∨ R) ∧ (P ∨ Q) ∧ (Q∨R)
- 1
计算(P→Q)∧(¬P→R)的析取范式正确的是 ——————— 。 A: (¬P ∧ Q) ∨ (P ∧ R) B: (¬P ∨ Q) ∧ ( P ∨ R) C: (¬P ∧ R) ∨ (P ∧ Q) ∨ (Q ∧ R) D: (¬P ∨ R) ∧ (P ∨ Q) ∧ (Q∨R)
- 2
求公式(P→(Q∧R))∧(¬P→(¬Q∧¬R))的主析取范式 A: (P∧Q∧R)∨(¬P∧¬Q∧R) B: (P∧Q∧R)∨(¬P∧¬Q∧¬R) C: (P∧Q∧¬R)∨(¬P∧¬Q∧¬R) D: (P∧Q∧R)∨(¬P∧Q∧¬R)
- 3
命题公式(P∨Q)→R的析取范式是() A: Ø(P∨Q)∨R B: (P∧Q)∨R C: (P∨Q)∨R D: (ØP∧ØQ)∨R
- 4
给定命题公式(¬P∨Q)∧(P→R),与之等值的是 A: P→(¬Q∧R) B: P→(Q∨R) C: P→(Q∧R) D: ¬P→(Q∧R)