离散数学命题公式化简,最后结果为T,麻烦大神帮忙化简一下。

2025-05-16 15:39:08
推荐回答(1个)
回答1:

P→(P∨Q)<=> ┐P∨(P∨Q)
<=>(┐P∨P)∨Q
<=>1∨Q
<=>1

但题目要求构造真值表,这个很简单的,就是过程繁琐