MathGroup Archive 2010

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

Search the Archive

LogicalExpand and BooleanConvert


Hi,

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 
BooleanConvert?

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