In tuple relational calculus P₁ → P₂ is equivalent to –
2022
In tuple relational calculus P₁ → P₂ is equivalent to –
- A.
¬P₁ ∨ P₂
- B.
P₁ ∨ P₂
- C.
P₁ ∧ P₂
- D.
P₁ ∧ ¬P₂
Attempted by 450 students.
Show answer & explanation
Correct answer: A
In tuple relational calculus, the implication P₁ → P₂ is logically equivalent to ¬P₁ ∨ P₂. This is a standard logical equivalence where the implication is true unless P₁ is true and P₂ is false. Therefore, the correct expression is ¬P₁ ∨ P₂.