I've done a truth table after reducing it to this and it seems to be equal to $\neg Q$:
$$\lnot Q \lor (\lnot Q \land R) = \lnot Q$$
But when I try to show it without a truth table (with just transformations), I end up in a loop between that and:
$$\lnot Q \land (\lnot Q \lor R)$$
Is there a way to show this is true without using a truth table? What am I missing?!
Thanks in advance!