"Express each of these statements using logical operators, predicates, and quantifiers.

c) The disjunction of two contingencies can be a tautology."

The answer to this question is, $\displaystyle \exists x \exists y(\neg T(x) \wedge \neg C(x) \wedge T(y) \wedge \neg C(y) \wedge T(x \vee y)) $

I figured that the answer would involve an implication. Could someone possibly explain how this is the answer?