求公式(¬P∨¬Q)→(P↔¬Q)的析取范式
A: P∨Q
B: ┐P∨Q
C: P∨┐Q
D: ┐P∨┐Q
A: P∨Q
B: ┐P∨Q
C: P∨┐Q
D: ┐P∨┐Q
举一反三
- 【单选题】求公式 Q ∨ (P → Q) 主析取范式。 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) ∨(┐p∧q)的主析取范式是（） A: (┐p∧┐q)∨(p∧q) B: (┐p∨q)∧(p∨┐q) C: (┐p∨┐q)∧(p∨q) D: 空范式
- ﹁（P∨Q）↔（P∧Q）求主析取范式: （Q∧P）∨（P∧﹁Q）|（Q∧﹁P）∨（P∧﹁Q）|（﹁P∧﹁Q）∨（P∧Q）|（﹁P∨Q）∧（Q∧﹁P）
- 求公式Q∨(P→Q)主析取范式（ ）。 （请自己在练习册上进行详细演算，然后根据演算结果选择） 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)的析取范式是() A: P∧¬Q B: ¬P∧Q C: ¬P∨Q D: P∨¬Q