(A ∨ ¬A) ∨ (q ∨ T) is a __________
(a) Tautology
(b) Contradiction
(c) Contingency
(d) None of the mentioned
I got this question during an interview for a job.
This intriguing question comes from Logics topic in chapter The Foundation: Logics and Proofs of Discrete Mathematics