The size of DNF is exponential in the number of variables, so it’s not
surprising it is slower for expressions with many variables. CNF is the
more standard form that scales well with the size of the expression.
Aaron Meurer
On Sat, Jul 13, 2019 at 2:55 PM Oscar Benjamin
wrote:
> Can you show
Can you show a (short) example of some code that you've tried?
On Sun, 7 Jul 2019 at 17:18, רועי גרמיזו wrote:
>
> Hi, what is the best way to simplify a boolean equation with more than 8
> variables? setting force to true on simplify_logic just takes too long, and
> to_dnf sometimes
Hi, what is the best way to simplify a boolean equation with more than 8
variables? setting force to true on simplify_logic just takes too long, and
to_dnf sometimes takes too long or don't really change the expression. I
don't necessarily have to use sympy, but I belive it is the best (or