I had the following boolean expression:
$$(C\lor D)\land({\sim} B\lor D)\land({\sim} A\lor {\sim} C\lor {\sim} D)$$
I know this can be simplified to:
$$(C\land{\sim}B\land{\sim} D)\lor(D\land{\sim} A)\lor(D\land{\sim} C)$$
I have gotten this far:
$$({\sim} D\land C\land{\sim} B)\lor(C\land{\sim} B\land{\sim} A)\lor(D\land{\sim} A)\lor(D\land{\sim} C)$$
I have tried and tried, but still can't figure out how to get rid of the extra $$(C\land{\sim} B\land {\sim} A)$$
Please help. Thank you!
Edit: Bram28 pointed out that I mistyped, but I still cant find a way to get rid of the extra $(C\land{\sim} B\land {\sim} A)$
You can get rid of the extra
$$(C\land{\sim} B\land{\sim} A)$$
term by expanding it to
$$(C\land{\sim} B\land{\sim} A \land D)\lor (C\land{\sim} B\land{\sim} A \land \sim D)$$
Then, the first of these gets absorbed by $(D \land \sim A)$, while the second gets absorbed by $(C\land{\sim} B \land \sim D)$