MathGroup Archive 2012

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

Search the Archive

Re: strange booleanconvert behavior?

  • To: mathgroup at
  • Subject: [mg127240] Re: strange booleanconvert behavior?
  • From: Peter Pein <petsie at>
  • Date: Wed, 11 Jul 2012 02:17:02 -0400 (EDT)
  • Delivered-to:
  • Delivered-to:
  • Delivered-to:
  • References: <jtgbqo$49b$>

Am 10.07.2012 06:42, schrieb Francisco Gutierrez:
> Dear Group:
> Say I have the following expression:
> num1={{a,b,c,d},{a,b,c,e},{a,b,c,f},{a,b,c,g},{a,b,c,h},{a,b,c,i},{a,b,c,j},{a,b,c,k},{a,b,c,l},{a,b,c,m},{a,b,c,n}}
> I transform it into a logical expression:
> n=
> um2=Apply[Or,Apply[And,#]&/@num1]
> 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:
> BooleanConvert[Take[num2,9],"CNF"]
> The output is
> a&&b&&c&&(d||e||f||g||h||i||j||k||l)
> 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?
> Francisco
addendum to my last answer:

   BooleanMinimize[num2, "CNF"]

works without change to the system options.


  • Prev by Date: Re: strange booleanconvert behavior?
  • Next by Date: Re: Sending an interrupt to the frontend?
  • Previous by thread: Re: strange booleanconvert behavior?
  • Next by thread: Separating square roots