Probably a stupid question, but the following statement is supposed to be a tautology (according to the solutions given, anyway). But I'm not sure how.
$(A \lor B) \land ((A \land B) \rightarrow \sim C)$
But if $A$ and $B$ are both false, $(A \lor B)$ is false, and hence the whole statement is. Am I losing my mind?