I want to show through Boolean algebra that the statement $$\neg Q\Rightarrow (R\Rightarrow \neg (P\land Q))$$ is equivalent to the tautology $Q\lor(\neg Q)$?
How do I show a statement is a tautology in the Booleans algebra
1
$\begingroup$
discrete-mathematics