门| GATE CS 1999 |第62章

[5分问题]

一种。证明公式[(〜p∨q)⇒(q⇒p)]不是重言式。

b。假设A是重言式，B是任何其他公式。证明(A∨B)是重言式。

回答：
解释：
这个问题的测验
如果您在以上帖子中发现任何错误，请在下面发表评论