{↑}是联结词完备集,则p∨q可表示为:
A: (p↓p)↓(q↓q)
B: p↑q
C: (p↑q)↑(p↑q)
D: (p↑p)↑(q↑q)
A: (p↓p)↓(q↓q)
B: p↑q
C: (p↑q)↑(p↑q)
D: (p↑p)↑(q↑q)
D
举一反三
- 公式(p→ ┐q)∧r在联结词完备集{┐,∧，∨}中与之等值的公式是： A: ┐(p∧q)∧┐ B: (┐p∨┐q)∧ C: ┐(p∨q)∧
- 设 P↓Q = (P∨Q)，仅用联结词↓分别表示出P，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)的主析取范式是（ ） A: (Q∧┐P)∨(P∧＞Q) B: (┐P∧Q)∨(P∧┐Q) C: (Q∧P)∨(P∧┐Q) D: (┐P∨Q)∧(Q∧┐P)
- ┐(P∨Q) ←→(P∧Q)的主析取范式是: (Q∧P)∨(P∧┐Q)|(Q∧┐P)∨(P∧＞Q)|(┐P∧┐Q)∨(P∧Q)|(┐P∨Q)∧(Q∧┐P)
内容
- 0
以下逻辑表达式的值恒为真的是（ ） 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)
- 1
﹁（P∨Q）↔（P∧Q）求主析取范式: （Q∧P）∨（P∧﹁Q）|（Q∧﹁P）∨（P∧﹁Q）|（﹁P∧﹁Q）∨（P∧Q）|（﹁P∨Q）∧（Q∧﹁P）
- 2
现有命题公式p∨q,则其主析取范式是( )。 A: p∨q B: (¬p∧¬q)∨(¬p∧q)∨(p∧¬q) C: p∧q D: (¬p∧q)∨(p∧¬q)∨(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