<Li> f ∨ f is true if and only if f is true or f is true or both are true, </Li> <Li> ¬ f is true if and only if f is not true, </Li> <Li> ∃ v: H (f) is true if and only if there is a tuple t over D such that dom (t) = H and the formula f is true for val, and </Li> <Li> ∀ v: H (f) is true if and only if for all tuples t over D such that dom (t) = H the formula f is true for val . </Li>

Explain tuple relational calculus and domain relational calculus with examples