Simplification.Full
Back to table
/*
Logic-Function-Analysis
Simplification.Full
[LogicFunction g]=Simplification.Full(LogicFunction f);
f : a logic function
g : a logic function may in the simpler form
Simplify a logic function with the full algorithm.
*/
//-------------------------------------------------------------------
// examples
P=AndOr(){
1,2 ;
-1,3 ;
-1,-2,3 ;
-1,-2,-3 ;
1,2,3 ;
}
[f]=Simplification.Full(P);
Print(f);
//-------------------------------------------------------------------
// result
MatchLogicFunction Analysis IsPositiveUnateFunctionTo IsSelfDualFunction IsUnateFunction binary() ToBinary OneComplement PureBinary TwoComplement ToAndXor ToDiagram ToDualFunction ToTruthTable Dimacs Email Get logicvardef() long Radixes One OrAnd real Realization To2LayerNor SOP To2layerOrAnd HuffmanMealy Balanced Zero