in Databases retagged by
516 views
1 vote
1 vote

In tuple relational calculus $P1\to P2$ is equivalent to

  1. $\lnot P1 \lor P2$
  2. $P1 \lor P2$
  3. $P1 \land P2$
  4. $P1 \land \lnot P2$
in Databases retagged by
by
516 views

1 Answer

2 votes
2 votes
P1 → P2 is same as ~ P1 v P2.

So A is correct.
Answer: