以下逻辑表达式的值恒为真的是（ ）
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)
A
举一反三
- 以下逻辑公式中，（）是(~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)
内容
- 0
6、以下哪个步骤是P⟷Q⇔(﹁P∨Q)∧(﹁Q∨P)等价证明的正确步骤 P⟷Q 1、⇔( P→Q)∧( Q→P) 2、⇔(﹁P∨Q)∧( Q→P) 3、⇔(﹁P∧Q)∨( Q→P) 4、⇔(﹁P∨Q)∨( Q→P) 5、⇔(﹁P∨Q)∧(﹁Q∨P)
- 1
以下推理错误的是（ ） A: P,P→Q => Q B: ┓Q,P→Q => ┓P C: Q,P→Q => P D: ┓P,P→Q => ┓Q
- 2
当p→﹁q 为假时，下列逻辑结构式为真的是（ ） A: p→q B: p←q C: p←→q D: p∨q E: p∧q
- 3
【单选题】求公式 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) 答
- 4
下列推理中，有效的是 （ ） A: p ← ﹁q ﹁q ________ p B: ﹁p∨﹁q ﹁P _______ q C: ﹁p∨q ﹁q ______ ﹁p D: ﹁p → ﹁q ﹁q __________ ﹁p E: ﹁p ← ﹁q p ______________ ﹁q