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
IsBlankFunction IsOneFunction IsParityFunction IsPositiveFunction IsSelfAntiDualFunction IsSelfDualFunction IsSymmetricFunction IsUnateFunctionTo MinValue GrayCode FeedbackDiagram list() Count logicvardef() NumberSystem Radixes Save Assign InputVariables Forwardly GetExcitationTable ToDigitalSystem To2layerOrAnd Fast string() string CreateDummyLogicFunction ShannonExpansion Xor Zero