用等值演算求下面公式的主析取范式 (﹁p→Q)→(﹁Q V P) P Q(┓P→Q)(┓QVP)(┓P→Q)→(┓QVP)0 0 0 1 10 1 1 0 01 0 1 1 11 1 1 1 1所以,主析取范式为(┓P∧Q)V(P∧Q)V(P∧Q)
用等值演算方法证明以下等值式 ?(p?q)? ?((p→q)∧(q→p))变成 合取zd析取? ?((?p∨q)∧(?q∨p))变成 合取析取? ?(?p∨q)∨?(p∨?q)德摩根内定律?(p∧?q)∨(?p∧q)德摩根定律?(p∨(?p∧q))∧(?q∨(?p∧q))分配率?(p∨q)∧(?q∨?p)吸收率?(?q→p)∧(p→?q)等值蕴容含式? p??q
离散数学题,用等值演算法证明下列等值式,如图,求解 如图所示
离散数学的用等值演算法求命题公式┐(P∨Q)→R的主析范式(用极小项表示),并求该公式的所有成真赋值? ?(P∨Q)→R??(?(PVQ))∨R?(PVQ)VR?PVQVR使该式为真,则P,Q,R中至少有一项为真即可,因此所有成真赋值列举如下P Q R0 0 10 1 00 1 11 0 01 0 11 1 01 1 1
主析取范式主合取范式成真赋值成假赋值 (p∧qVr)里面少了括号,请添加.
离散数学等价等值式公式的证明. AB∴A和B具有相同的真值,即A双条件B永为真,即(A→B)∧(B→A)少年,这是定义。你让我如何证明.A等价于B就能直接得出A双条件B.就好比A→B非A∨B一样,可以用真值表证明A B A→B B→A A双条件B0 0 1 1 10 1 1 0 01 0.