已知点P(2,-1)、Q(a,4),并且|PQ|=√41,求a的值.
已知点P(2,-1)、Q(a,4),并且|PQ|=√41,求a的值.
Q∨ù((P®Q)∧P)ÛQ∨ù((ùP∨Q)∧P)Q∨¬((P→Q)∧P)⇔Q∨¬(¬P∨Q)∧P)Q∨((P∨Q)∧P)
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)
┐(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)
【单选题】求公式 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) 答
【单选题】求公式 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) 答
┐(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)的主析取范式是( ) A: (Q∧┐P)∨(P∧>Q) B: (┐P∧Q)∨(P∧┐Q) C: (Q∧P)∨(P∧┐Q) D: (┐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)
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: [(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
将“如果天下雨,地会湿。已知地没湿,可见天没下雨。”,翻译成符号语言:()或()。 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
下列推理中,有效的是 ( ) 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
下列推理中,有效的是 ( ) 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
以下逻辑表达式的值恒为真的是( ) 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)
以下逻辑表达式的值恒为真的是( ) 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)