I have the boolean expression (a && !b)
. I want to add variables c
, d
into the expression and then have Mathematica transform the expression into conjunctive normal form. I would like it to go something like this:
a&&!b
= (a && !b && c) || (a && !b && !c)
= (a && !b && c && d) || (a && !b && c && !d) || (a && !b && !c && d) ||
(a && !b && !c && !d)
Although a human can do this easily, how can can I get Mathematica to do it? What are the commands?
BooleanConvert
and forms it has available. But I don't know how to use it for your purpose :) $\endgroup$