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-2-5
举一反三
- 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) A: 1-2-3-5 B: 1-2-5 C: 1-3-4-5 D: 1-3-5
- 以下哪个步骤是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∨P)]∧[Q∨(﹁Q∨P)] 6、⇔[﹁P∧(﹁Q∨P)]∨[Q∧(﹁Q∨P)] 7、⇔[(﹁P∧﹁Q)∨(﹁P∧P)]∨ [(Q∧﹁Q)∨(Q∧P)] 8、⇔[(﹁P∧﹁Q)∧T]∨[T∧(Q∧P)] 9、⇔[(﹁P∧﹁Q)∨ F]∨[F∨(Q∧P)][br][/br] 10、⇔ (﹁P∧﹁Q )∨(Q∧P) A: 1-4-6-9-10 B: 2-4-5-7-9-10 C: 1-3-6-7-9-10 D: 2-4-6-7-9-10
- 证明以下蕴涵关系成立:﹁Q∧(P→Q) ⇒﹁P 的正确步骤顺序是： 1、即证明：﹁Q∧(P→Q)→﹁P 永真 2、⟺﹁Q∧(﹁P∨Q)→﹁P[br][/br] 3、⟺﹁Q∧(﹁P∧Q)→﹁P[br][/br] 4、⟺﹁﹁Q∧(﹁P∧Q)∧﹁P[br][/br] 5、⟺﹁（﹁Q∧(﹁P∨Q)）∨﹁P[br][/br] 6、⟺ Q∨﹁(﹁P∨Q)）∨﹁P[br][/br] 7、⟺ Q ∨ P ∨ ﹁Q ∨﹁P[br][/br] 8、⟺ Q ∨ (P ∧ ﹁Q) ∨﹁P[br][/br] 9、⟺ (Q∨﹁P) ∨ (P ∧ ﹁Q)[br][/br] 10、⟺﹁ ( P ∧ ﹁Q) ∨ ( P ∧ ﹁Q)[br][/br] 11、⟺T A: 1-2-4-7-11 B: 1-2-5-6-8-9-10-11 C: 1-3-4-7-11 D: 1-2-4-7-8-9-10-11
- 设有下列公式,请问哪几个是永真蕴涵式?__________. (1)P=>P∧Q (2) P∧Q=>P (3) P∧Q=>P∨Q (4)P∧(P→Q)=>Q (5) ¬(P→Q)=>P (6) ¬P∧(P∨Q)=>¬P
- Q∨ù((P®Q)∧P)ÛQ∨ù((ùP∨Q)∧P)Q∨¬((P→Q)∧P)⇔Q∨¬(¬P∨Q)∧P)Q∨((P∨Q)∧P)
内容
- 0
以下等价公式哪个公式是正确的() A: P∨(Q∨R)⇔(P∨Q)∨(Q∨R) B: P∨(Q∨R)⇔(P∨Q)∧(Q∨R) C: P∨﹁Q⇔﹁P∨Q D: P→Q⇔Q→P
- 1
┐(P∨Q) ←→(P∧Q)的主析取范式是: (Q∧P)∨(P∧┐Q)|(Q∧┐P)∨(P∧＞Q)|(┐P∧┐Q)∨(P∧Q)|(┐P∨Q)∧(Q∧┐P)
- 2
﹁（P∨Q）↔（P∧Q）求主析取范式: （Q∧P）∨（P∧﹁Q）|（Q∧﹁P）∨（P∧﹁Q）|（﹁P∧﹁Q）∨（P∧Q）|（﹁P∨Q）∧（Q∧﹁P）
- 3
用真值表判断下列公式的类型 (1)p→(p∨q∨r) (2)(p→Øp)→Øq (3) Ø(q→r)∧r (4)(p→q)→(Øq→Øp) (5)(p∧r) « (Øp∧Øq) (6)((p→q)∧(q→r))→(p→r) (7)(p→q) « (r«s)
- 4
n4.用等值演算法证明下面等值式: (1)p⇔(p∧q)∨(p∧￢q) (2)￢(p↔q)⇔(p∨q)∧￢(p∧q) (3)(p∧￢q)∨(￢p∧q)⇔(p∨q)∧￢(p∧q)