3
$\begingroup$

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?

  • 0
    Could you clarify what addition and multiplication signify here? You can use logical operators $\land$ and $\lor$ by using LaTeX, simply surround the statement with '\$''s and use \land and \lor. I have changed your ¬ to $\lnot$ for you.2012-09-21
  • 0
    I edited to make it more clear2012-09-21
  • 1
    Put into a normal form (disjunctive or conjunctive, ands of ors or ors of ands) using De Morgan's laws and see what terms combine.2012-09-21
  • 5
    http://en.wikipedia.org/wiki/Karnaugh_map2012-09-21
  • 0
    Thanks on the k-map suggestion, which I would have used if my basic level class didn't require me to work from the most complicated version of the logic based on a truth table and simplify from there...2012-09-22

1 Answers 1