设 P↓Q = (P∨Q)，仅用联结词↓分别表示出P，P∧Q，P∨Q。______
正确答案请查看解析
举一反三
- 定义 P↑Q = (P∧Q)，试仅用与非联结词↑分别表示出 （1）P （2）P∧Q （3）PQ 均要求结果简洁。______
- {↑}是联结词完备集,则p∨q可表示为: A: (p↓p)↓(q↓q) B: p↑q C: (p↑q)↑(p↑q) D: (p↑p)↑(q↑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)
内容
- 0
【单选题】求公式 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) 答
- 1
┐(P∨Q) ←→(P∧Q)的主析取范式是（ ） A: (Q∧┐P)∨(P∧＞Q) B: (┐P∧Q)∨(P∧┐Q) C: (Q∧P)∨(P∧┐Q) D: (┐P∨Q)∧(Q∧┐P)
- 2
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)
- 3
命题公式 p→q可用┐、∨表示成？ A: ┐q→┐p B: ┐p∨q C: p∨┐q D: ┐(p∨q)
- 4
将“如果天下雨,地会湿。已知地没湿,可见天没下雨。”,翻译成符号语言:()或()。 A: [(p→q)∧┒q]├┒p p→q，┒q├┒p B: p→q，┒q├┒p p→q，┒p├┒q C: p→q，┒p├┒q [(p→q)∧q]├p D: p→q，┒q├┒p [(p→q)∧p]├q