MathGroup Archive 2012

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

Search the Archive

Re: strange booleanconvert behavior?

  • To: mathgroup at
  • Subject: [mg127249] Re: strange booleanconvert behavior?
  • From: "Dave Snead" <dsnead6 at>
  • Date: Wed, 11 Jul 2012 02:20:03 -0400 (EDT)
  • Delivered-to:
  • Delivered-to:
  • Delivered-to:
  • References: <>

Found the same problem.
Clearly Mathematica isn't working correctly when the number of sublists is 
more than 9.
As a workaround 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: [mg127249] 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: Re: polarplot with arrow bearing tickmarks
  • Next by Date: Re: Sending an interrupt to the frontend?
  • Previous by thread: strange booleanconvert behavior?
  • Next by thread: Re: strange booleanconvert behavior?