第1个回答 2013-10-13
原式 = ~（p或q）或（~q或~p）等价
~（p或q）或~(q与p)等价
~（(p或q)与（p与q））等价
~（p与q）等价
~p或~q等价
p推出~q
矛盾式
~（p或q）或~(q与p)等价
~（(p或q)与（p与q））等价
~（p与q）等价
~p或~q等价
p推出~q
矛盾式
第2个回答 2013-10-15
(┐p→q)→(q→┐p)
<==> ┐(p∨q)∨(┐q∨┐p)
<==> (┐p∧┐q)∨(┐q∨┐p)
<==> (┐p∨(┐q∨┐p))∧(┐q∨(┐q∨┐p))
<==> (┐p∨┐q)∧(┐q∨┐p)
<==> ┐p∨┐q
为非重言可满足式。本回答被提问者采纳
<==> ┐(p∨q)∨(┐q∨┐p)
<==> (┐p∧┐q)∨(┐q∨┐p)
<==> (┐p∨(┐q∨┐p))∧(┐q∨(┐q∨┐p))
<==> (┐p∨┐q)∧(┐q∨┐p)
<==> ┐p∨┐q
为非重言可满足式。本回答被提问者采纳
离散数学,用等值演算法判断下列公式类型,求详细过程,这题有三个字母...
⇔ ¬(q∧(p∨t))∨((p∧s)→q) 变成 合取析取 ⇔ ¬q∨¬(p∨t) ∨((p∧s)→q) 德摩根定律 ⇔ ¬q∨¬(p∨t) ∨(¬(p∧s)∨q) 变成 合取析取 ⇔ ¬p∨¬(p∨t) ∨¬(p∧s)∨q 结合律 ...
离散数学用等值演算法判断下列公式的类型。
原式 = ~（p或q）或（~q或~p）等价 ~（p或q）或~(q与p)等价 ~（(p或q)与（p与q））等价 ~（p与q）等价 ~p或~q等价 p推出~q 矛盾式
数理逻辑具体有哪些应用,应用在哪些方面
1 逻辑运算 逻辑运算又称布尔运算，它是用数学的方法解决或研究逻辑问题，即用离散的符号“1”和“0”表示逻辑中的“真”和“假”再加上一套与之相关的“与”、“或”、“非”为运算基础的逻辑运算规则解决实际逻辑问题的方法，从而实现复杂逻辑运算到简单的数值计算的转化。尽管互联网的查询系统原理...
离散数学用等值演算法判断下列公式的类型。
<==> (┐p∨┐q)∧(┐q∨┐p)<==> ┐p∨┐q 为非重言可满足式。
相似回答
