I have greatly simplified down a piece of boolean logic developed from a truth table, but I cannot figure out how to simplify it more. Two of the same variable exist in the different places, which leads me to believe that it can be simplified more.
$ (D \land (A \lor (\lnot C \land B))) \lor (C \land (A \lor \lnot B)) $
How can this be simplified?