MathGroup Archive 2010

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

Search the Archive

LogicalExpand and BooleanConvert

  • To: mathgroup at
  • Subject: [mg110278] LogicalExpand and BooleanConvert
  • From: Eirik Larsen Følstad <eirik.folstad at>
  • Date: Fri, 11 Jun 2010 07:57:39 -0400 (EDT)


Is is possible to get some information of the algorithm that is used for 
converting a boolean function to the disjunctive normal form (Sum of 
Products) using LogicalExpand and BooleanConvert?
The reason for this question is that getting the minimal disjunctive 
normal form is NP-hard.

What is the "stopping" conditions for the LogicalExpand and 

Vennlig hilsen / Best regards,
Eirik Larsen F=F8lstad

  • Prev by Date: Lauching application from an icon
  • Next by Date: Re: O'Reilly Ebook Deal of Day: Mathematica Cookbook ($9.99)
  • Previous by thread: Re: Lauching application from an icon
  • Next by thread: Re: Setting Attributes for Function Generated Parameters