📜  门| GATE-CS-2004 |第 70 题

📅  最后修改于: 2021-09-26 03:05:08             🧑  作者: Mango

下面的命题陈述是
(P → (Q v R)) → ((P ^ Q) → R)
(A)可满足但无效
(二)有效
(三)矛盾
(D)以上都不是答案:(一)
说明:我们为给定的语句 S 创建真值表为:

2004-70

如果至少有一个赋值为真,则公式是可满足的。显然,这个公式是可满足的,因为有 7 个赋值是正确的。
如果公式对所有分配都成立,则该公式是有效的,但此处并非如此。
因此,选项(A)是正确的。

如果您发现上面的帖子有任何错误,请在下面发表评论。
这个问题的测验