门| GATE 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)是正确的。

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