QuineMcCluskyFormula

public class QuineMcCluskyFormula
extends java.lang.Object

Constructors
Constructor and Description
`QuineMcCluskyFormula(java.util.List<org.matheclipse.core.boole.QuineMcCluskyTerm> termList, IAST variables)`

All Methods Static Methods Instance Methods Concrete Methods
Modifier and Type	Method and Description
`static QuineMcCluskyFormula`	`read(IAST orAST)`
`static QuineMcCluskyFormula`	`read(java.io.Reader reader)`
`static QuineMcCluskyFormula`	`read(java.lang.String str)`
`void`	`reducePrimeImplicantsToSubset()`
`void`	`reduceToPrimeImplicants()`
`IExpr`	`toExpr()`
`java.lang.String`	`toString()`

Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

public QuineMcCluskyFormula(java.util.List<org.matheclipse.core.boole.QuineMcCluskyTerm> termList,
                            IAST variables)

public IExpr toExpr()
             throws BooleanFunctionConversionException

public void reducePrimeImplicantsToSubset()

public static QuineMcCluskyFormula read(java.io.Reader reader)
                                 throws java.io.IOException

public static QuineMcCluskyFormula read(java.lang.String str)

public static QuineMcCluskyFormula read(IAST orAST)
                                 throws BooleanFunctionConversionException

Class QuineMcCluskyFormula