{↑}是联结词完备集,则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)
举一反三
- 公式(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)