(p → q) ∧ (¬p → q) 的逻辑等价形式有
A: F→ q
B: T→ q
C: q
D: (¬p ∧ q) ∨ (p ∧ q) ∨q
E: (¬p ∧ q) ∨q
A: F→ q
B: T→ q
C: q
D: (¬p ∧ q) ∨ (p ∧ q) ∨q
E: (¬p ∧ q) ∨q
举一反三
- 下列非有效的推理形式有（）。 A: （p→q）∧P→q B: （q→q）∧q→p C: （p→q）∧q→q D: （q→q）∧q→p E: （p→q）∧q→p
- 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)
- 以下哪个步骤是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
- 以下逻辑表达式的值恒为真的是（ ） 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)
- 以下逻辑公式中，（）是(~p∨~q)Þ(pÛ~q)的主析取范式。 A: (p∧q)∨(p∧~q)∨(~p∧q) B: p∨q C: (p∧q)∨(p∧~q) D: (p∧~q)∨(~p∧q)