⇔ ¬(q∧(p↔q))∨¬(p∨¬q) 变成 合取析取
⇔ ¬(q∧((p→q)∧(q→p)))∨¬(p∨¬q) 变成 合取析取
⇔ ¬(q∧((¬p∨q)∧(¬q∨p)))∨¬(p∨¬q) 变成 合取析取
⇔ (¬p∧q)∨(¬q∨¬((¬p∨q)∧(¬q∨p))) 德摩根定律
⇔ (¬p∧q)∨(¬q∨(¬(¬p∨q)∨¬(¬q∨p))) 德摩根定律
⇔ (¬p∧q)∨(¬q∨((p∧¬q)∨(q∧¬p))) 德摩根定律
⇔ (¬p∧q)∨¬q∨((p∧¬q)∨(¬p∧q)) 结合律
⇔ (¬p∧q)∨¬q∨(p∧¬q)∨(¬p∧q) 结合律
⇔ ¬q∨(p∧¬q)∨(¬p∧q) 等幂律
⇔ ¬q∨(¬p∧q) 合取析取 吸收率
⇔ ¬q∨¬p 合取析取 吸收率
是可满足式
离散数学,用等值演算法判定下列公式的类型,要过程,谢谢
(q∧(p↔q))→¬(p∨¬q)⇔ ¬(q∧(p↔q))∨¬(p∨¬q) 变成 合取析取 ⇔ ¬(q∧((p→q)∧(q→p)))∨¬(p∨¬q) 变成 合取析取 ⇔ ¬(q∧((¬p∨q)∧(¬q∨p)))∨¬(...
离散数学用等值演算法判断下列公式的类型。
原式 = ~（p或q）或（~q或~p）等价 ~（p或q）或~(q与p)等价 ~（(p或q)与（p与q））等价 ~（p与q）等价 ~p或~q等价 p推出~q 矛盾式
麻烦大神看下,离散数学,用等值演算法判断公式类型,打勾那个,麻烦写下过...
<==> m0∨m1∨m5∨m7 <==> M2∧M3∧M4∧M6，得知该公式是非重言的可满足式。
离散数学用等值演算法判断下列公式的类型。
<==> (┐p∨┐q)∧(┐q∨┐p)<==> ┐p∨┐q 为非重言可满足式。
离散数学,用等值演算法判断下列公式类型,求详细过程,这题有三个字母...
∨((p∧s)→q) 德摩根定律 ⇔ ¬q∨¬(p∨t) ∨(¬(p∧s)∨q) 变成 合取析取 ⇔ ¬p∨¬(p∨t) ∨¬(p∧s)∨q 结合律 ⇔ ¬p∨¬(p∧s)∨q 吸收律 ⇔ ¬(p∧s)∨q 吸收律 是可满足式。
离散数学,等值演算法判断命题公式的类型
<==> ((┐┐p∧┐q)∨(┐┐q∧┐p))∨(┐p∧┐q)<==> ((p∧┐q)∨(q∧┐p))∨(┐p∧┐q)<==> (p∧┐q)∨(┐p∧q)∨(┐p∧┐q)<==> m2∨m1∨m0，故该命题公式是非重言的可满足式。9）((p→q)∧(q→r))→(p→r)<==> ┐((┐p∨q)∧(┐q∨r))∨(┐p...
离散数学-用等值演算法求下列命题公式的主析取范式,并由此指出该公式的...
如下图所示，点击放大。其中用到的等值式在书上都有，若有疑问，请追问。
此题等值演算如何做
∧(┐p∨q)}->(p->r)[┐p∨(┐p∧q)∨(r∧q)]->(p->r)[┐p∨(r∧q)]->(p->r)[┐p∨(r∧q)]->(┐p∨r)┐[┐p∨(r∧q)]∨ (┐p∨r)[ p∧┐(r∧q) ](┐p∨r)[p∧ ┐(r∧q) ] ∨r (p∨r)∧[┐(r∧q)∨r](p∨r)∧(q∨r)(p∧q)∨r ...
求P→(Q→R)的主析取范式和主合取范式,过程清晰明了。
有点懒，不想列出来了。你用真值表做很简单，第一步：列出真值表。第二步：找出所有值为真的行构成主析取范式。第三步：找出值为假的行构成主合取范式。
什么是命题公式,有哪些类型的命题公式?
命题公式不是命题，只有当公式中的每一个命题变项都被赋以确定的真值时，公式的真值才被确定，从而成为一个命题。命题逻辑的等值演算：A⟺B：A和B有等值关系。对任意真值指派，A与B取值相同。A⟷B为永真式。等值关系一般通过真值表法或者等值演算法得到。而不等值，只能通过真值表法，...
