MathGroup Archive 2012

[Date Index] [Thread Index] [Author Index]

Search the Archive

Re: strange booleanconvert behavior?

Many thanks to Dave Snead and Peter Pein for their responses to my query about BooleanConvert behavior.

The solutions worked. At the same time, it is clear that BooleanConvert has a quirk (or the documentation is severely incomplete). Hope in version 9 it is fixed


From: Dave Snead <dsnead6 at>
To: mathgroup at 
Sent: Wednesday, July 11, 2012 1:20 AM
Subject: [mg127374] Re: strange booleanconvert behavior?

Found the same problem.
Clearly Mathematica isn't working correctly when the number of sublists is 
more than 9.
As a work around consider

x = BooleanConvert[Take[num2, 9], "CNF"];
y = BooleanConvert[Drop[num2, 9], "CNF"];
BooleanConvert[x || y, "CNF"]


-----Original Message----- 
From: Francisco Gutierrez
Sent: Monday, July 09, 2012 9:42 PM
To: mathgroup at
Subject: [mg127374] strange booleanconvert behavior?

Dear Group:
Say I have the following expression:

I transform it into a logical expression:

I want to simplify this to a CNF, and the obvious function to use is Boolean 
Convert. Suppose I apply it to NINE elements of num2:
The output is=


It works perfectly well!

However, if I apply BooleanConvert to the whole expression I get back a 
bunch of crap. Also if I apply it to 10 elements of num2.
In sum, it appears that BooleanConvert only works well for 9 expressions or 
less. Tried this with other two examples, and found
exactly the same result.

All this in Mathematica 8

Can somebody help me?

  • Prev by Date: Finding a sum
  • Next by Date: Re: Evaluate code fragment without making new cell for it?
  • Previous by thread: Re: strange booleanconvert behavior?
  • Next by thread: Re: strange booleanconvert behavior?