求公式 (﹁P∨﹁Q)→(P ⟷ ﹁Q) 的析取范式（ ）。 （请自己在练习册上进行详细演算，然后根据演算结果选择）
A: (P∨Q)∨(﹁P∨﹁Q)
B: (P∧﹁Q)∨(﹁P∧Q)
C: (P∧Q)∨(﹁P∧﹁Q)
D: (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)∨(﹁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)∨(﹁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)
- 求公式 [P→(Q∧R)]∧[﹁P→(﹁Q∧﹁R] 的析取范式（ ）。 （请自己在练习册上进行详细演算，然后根据演算结果选择） A: (﹁P∨Q)∧(﹁P∨R)∧(P∨﹁Q)∧(P∨﹁R) B: (P∧Q∧R)∨(﹁P∧﹁Q∧﹁R) C: T (永真式） D: (P∧﹁Q∧﹁R)∨(P∧﹁Q∧﹁R)
- 求(P→Q)→R的主合取范式。 （请自己在练习册上进行详细演算，然后根据演算结果选择） A: ( P∨R∨Q)∧(P∨R∨﹁Q)∧(﹁P∨R∨﹁Q) B: ( ﹁P∨﹁R∨﹁Q)∧(P∨R∨﹁Q)∧(﹁P∨R∨﹁Q) C: ( P∨R∨Q)∧(﹁P∨﹁R∨﹁Q) D: ( P∨R∨Q)∧(﹁P∨R∨﹁Q)
- ﹁（P∨Q）↔（P∧Q）求主析取范式: （Q∧P）∨（P∧﹁Q）|（Q∧﹁P）∨（P∧﹁Q）|（﹁P∧﹁Q）∨（P∧Q）|（﹁P∨Q）∧（Q∧﹁P）