¬ (A ∨ q) ∧ (A ∧ q) is a ___________
(a) Tautology
(b) Contradiction
(c) Contingency
(d) None of the mentioned
I had been asked this question in my homework.
This intriguing question comes from Logics topic in division The Foundation: Logics and Proofs of Discrete Mathematics