Simplification.Full
Back to table
/*
Logic-Function-Analysis
Simplification.Full
[LogicFunction g]=Simplification.Full(LogicFunction f);
f : a logic function
g : a logic function may in the simpler form
Simplify a logic function with the full algorithm.
*/
//-------------------------------------------------------------------
// examples
P=AndOr(){
1,2 ;
-1,3 ;
-1,-2,3 ;
-1,-2,-3 ;
1,2,3 ;
}
[f]=Simplification.Full(P);
Print(f);
//-------------------------------------------------------------------
// result
IsCovering IsParityFunction IsPositiveFunction IsUnateFunction AndOr ToAndOr Binary FromBinary BinaryNumberToString binary binaryioset bool() bool ToROBDD Equiv logicvardef NumberSystem MantissaToPositiveDecimal PositiveDecimalToMantissa PositiveIntegerToMantissa object() To2LayerOrAnd MaxSAT Save ToFeedbackSystem ROBDD Full string CreateFromLogicFunctions Zero