以下逻辑表达式的值恒为真的是（ ）
A: P∨（┓P∧Q）∨(┓P∧┓Q)
B: Q∨（┓P∧Q）∨（P∧┓Q）
C: P∨Q∨（P∧┓Q）∨（┓P∧Q）
D: P∨┓Q∨（P∧┓Q）∨(┓P∧┓Q)
A: P∨（┓P∧Q）∨(┓P∧┓Q)
B: 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)∨(~p∧q) B: p∨q C: (p∧q)∨(p∧~q) D: (p∧~q)∨(~p∧q)
- Q∨ù((P®Q)∧P)ÛQ∨ù((ùP∨Q)∧P)Q∨¬((P→Q)∧P)⇔Q∨¬(¬P∨Q)∧P)Q∨((P∨Q)∧P)
- ┐(P∨Q) ←→(P∧Q)的主析取范式是: (Q∧P)∨(P∧┐Q)|(Q∧┐P)∨(P∧＞Q)|(┐P∧┐Q)∨(P∧Q)|(┐P∨Q)∧(Q∧┐P)
- ﹁（P∨Q）↔（P∧Q）求主析取范式: （Q∧P）∨（P∧﹁Q）|（Q∧﹁P）∨（P∧﹁Q）|（﹁P∧﹁Q）∨（P∧Q）|（﹁P∨Q）∧（Q∧﹁P）
- ┐(P∨Q) ←→(P∧Q)的主析取范式是（ ） A: (Q∧┐P)∨(P∧＞Q) B: (┐P∧Q)∨(P∧┐Q) C: (Q∧P)∨(P∧┐Q) D: (┐P∨Q)∧(Q∧┐P)