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
IsBiUnateFunctionTo IsSymmetricFunction Binary MinValue BCD NineComplement OneComplement StringToBinaryNumber Convert ToXORP Equiv ExcitationTable Count Load long minterm Nor Realization To2LayerNor To2LayerOrAnd ShortestInputsForDistinguishTwoStates TransitionSeries StateVariables ToDigitalSystem FastVerificationData StateTransition AdjustLogicVariableCount Normalization ShannonExpansion Zero