门|门CS 2008 |问题 14

以下哪个元组关系演算表达式等价于

(A)我只
(B)仅 II
(C)仅 III
(D)仅限 III 和 IV答案： (C)
说明：元组关系演算的一些转换规则是：
$\cdot (\forall t)(P(t))=(not \hspace{0.2cm}\exists\hspace{0.2cm} t)(not \hspace{0.2cm}(P(t))) \cdot (\exists t)(P(t))=not(\forall \hspace{0.2cm}t)(not \hspace{0.2cm}(P(t)))$

因此，使用上述规则选项(C)是正确的。

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