门| GATE-CS-2004 |第70章

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

如果至少有一个为真的公式，则该公式是可满足的。显然，这个公式是可以满足的，因为有7个赋值是正确的。
如果所有分配的公式均正确，则该公式有效，此处不是这种情况。
因此，选项(A)是正确的。

如果您在以上文章中发现任何错误，请在下面发表评论。
这个问题的测验