离散数学中的题目:上面一行这个式子怎么得出下面一行的?

2025-05-12 16:39:09
推荐回答(1个)
回答1:

上面的式子中最前面一项
P∨¬P ⇔ 1
最后面一项
¬Q∨¬R∨R ⇔ 1