The Math Forum

Search All of the Math Forum:

Views expressed in these public forums are not endorsed by NCTM or The Math Forum.

Math Forum » Discussions » Inactive » comp.soft-sys.math.mathematica

Notice: We are no longer accepting new posts, but the forums will continue to be readable.

Topic: strange booleanconvert behavior?
Replies: 2   Last Post: Jul 11, 2012 2:18 AM

Advanced Search

Back to Topic List Back to Topic List Jump to Tree View Jump to Tree View   Messages: [ Previous | Next ]
Francisco Gutierrez

Posts: 102
Registered: 5/31/05
strange booleanconvert behavior?
Posted: Jul 10, 2012 12:42 AM
  Click to see the message monospaced in plain text Plain Text   Click to reply to this topic Reply

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?

Point your RSS reader here for a feed of the latest messages in this topic.

[Privacy Policy] [Terms of Use]

© The Math Forum at NCTM 1994-2018. All Rights Reserved.