如何求是否为重言式
答案:1 悬赏:0 手机版
解决时间 2021-04-07 19:01
- 提问者网友：爱了却不能说
- 2021-04-06 20:44
如何求是否为重言式
最佳答案
- 五星知识达人网友：孤老序
- 2021-04-06 21:52
(p→(q∧r))∧(¬p→(¬q∧¬r))
⇔ (¬p∨(q∧r))∧(p∨(¬q∧¬r)) 变成 合取析取
⇔ ((¬p∨q)∧(¬p∨r))∧(p∨(¬q∧¬r)) 分配律
⇔ (¬p∨q)∧(¬p∨r)∧(p∨(¬q∧¬r)) 结合律
⇔ (¬p∨q)∧(¬p∨r)∧((p∨¬q)∧(p∨¬r)) 分配律
⇔ (¬p∨q)∧(¬p∨r)∧(p∨¬q)∧(p∨¬r) 结合律
显然不恒为真，因此不是重言式追问这式子子只能粗略判断吗？能化简得出值为F吗？
⇔ (¬p∨(q∧r))∧(p∨(¬q∧¬r)) 变成 合取析取
⇔ ((¬p∨q)∧(¬p∨r))∧(p∨(¬q∧¬r)) 分配律
⇔ (¬p∨q)∧(¬p∨r)∧(p∨(¬q∧¬r)) 结合律
⇔ (¬p∨q)∧(¬p∨r)∧((p∨¬q)∧(p∨¬r)) 分配律
⇔ (¬p∨q)∧(¬p∨r)∧(p∨¬q)∧(p∨¬r) 结合律
显然不恒为真，因此不是重言式追问这式子子只能粗略判断吗？能化简得出值为F吗？
我要举报
如以上回答内容为低俗、色情、不良、暴力、侵权、涉及违法等信息，可以点下面链接进行举报！
点此我要举报以上问答信息
大家都在看
推荐资讯