Simplification.SimpleCover
Back to table
/*
Logic-Function-Analysis
Simplification.SimpleCover
[LogicFunction g]=Simplification.SimpleCover(LogicFunction f);
f : a logic function
g : a logic function may in the simpler form
Simplify a logic function with the simple-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
IsInverse IsPositiveUnateFunctionTo IsSelfDualFunction AndOr Binary MinValue BinaryNumberToString StringToBinaryNumber binaryioset() ToPOS ExcitationTable FeedbackDiagram Imply Minus Not POS To2LayerAndOr Save ShortestInputsForTransition Assign AutoAssignInputAndStateVariables ToDigitalSystem FullTable Fast DontCare Shannon TimingChart CreateFromLogicFunctions AdjustLogicVariableCount Zero