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
MatchLogicFunction IsLinearFunction IsSelfAntiDualFunction IsSelfDualFunction AndXor BCD AddXorTerm ToSOP DiagramGateName Equiv NumberSystem RadixFromIndex OrAnd POS To2LayerOrAnd ToFullAnd Sequential Assign ToStateTransitionTable GetExcitationTable Simplification HuffmanMealy ShannonTree BestVariableOrder Fast SimpleCover SimpleInner StateDeviceName CreateDummyLogicFunction Zero