证明下列公式的等值式(p→q)→r<=>(p∨r)∧(¬p∨r)
1个回答
2017-11-15
展开全部
((p→q)∧(q→r))→(p→r) ⇔¬((p→q)∧(q→r))∨(p→r) 变成 合取析取 ⇔¬((¬p∨q)∧(¬q∨r))∨(¬p∨r) 变成 合取析取 ⇔(¬(¬p∨q)∨¬(¬q∨r))∨(¬p∨r) 德摩根定律 ⇔((p∧¬q)∨(
推荐律师服务:
若未解决您的问题,请您详细描述您的问题,通过百度律临进行免费专业咨询
类别
我们会通过消息、邮箱等方式尽快将举报结果通知您。
说明
0/200