I have the following propositional formula:
$$\lnot A \land (\lnot A \lor \lnot B) \land (\lnot A \lor C) \land (\lnot B \lor C)$$
I can see and "explain" that the middle two terms in brackets are redundant, so the formula simplifies to:
$$\lnot A \land (\lnot B \lor C)$$
I can't, however, figure out how to get there formally using the associativity laws of $\land$ and $\lor$, de Morgan's laws, etc.
Can anyone please give some help with those formal steps? Thanks in advance.