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 IsPositiveUnateFunctionTo IsSymmetricFunction IsSymmetricFunctionTo AndXor FromBinary bool() Diagram DigitalSystem Load logicvardef NumberSystem PositiveIntegerToMantissa Or real SAT ShortestInputsForDistinguishTwoStates StateVariables StateTransitionBasedly ToFeedbackSystem Implementation FastVerificationData MultiCover SimpleCover SimpleInner ComputeDONTCARE Substitute Xor Zero