A ∧ ¬(A ∨ (A ∧ T)) is always __________
(a) True
(b) False
The question was posed to me by my college professor while I was bunking the class.
This key question is from Logics topic in chapter The Foundation: Logics and Proofs of Discrete Mathematics