Simplification.MultiCover
Back to table
/*
Logic-Function-Analysis
Simplification.MultiCover
[LogicFunction g]=Simplification.MultiCover(LogicFunction f);
f : a logic function
g : a logic function may in the simpler form
Simplify a logic function with the multi-cover algorithm.
*/
//-------------------------------------------------------------------
// examples
P=AndOr(){
1,2 ;
-1,3 ;
-1,-2,3 ;
-1,-2,-3 ;
1,2,3 ;
}
[f]=Simplification.MultiCover(P);
Print(f);
//-------------------------------------------------------------------
// result
IsBiUnateFunction IsBiUnateFunctionTo IsPositiveFunction IsPositiveUnateFunctionTo IsSelfDualFunction IsZeroFunction AndOr BDD AbsoluteExpression Convert ToOrAnd AddXorTerm ToVariableInvertedFunction Equiv Imply logicvardef() One Print To2LayerOrAnd SAT AutoAssignInputAndStateVariables StateVariables StateTransitionBasedly ToStateTransitionTable Compatibility SimpleCover ComputeDONTCARE ShrinkLogicFunction var Zero