Simplification.Shannon
Back to table
/*
Logic-Function-Analysis
Simplification.Shannon
[LogicFunction g]=Simplification.Shannon(LogicFunction f);
f : a logic function
g : a logic function may in the simpler form
Simplify a logic function with the Shannon algorithm.
*/
//-------------------------------------------------------------------
// examples
[f]=Utility.CreateDummyLogicFunction("OrAnd",4,5);
g=Simplification.Shannon(f);
h=And(f,Not(g));
Print(f,g,h);
//-------------------------------------------------------------------
// result
IsLinearFunction IsPositiveFunction IsSelfAntiDualFunction IsSelfDualFunction IsZeroFunction AndOr AbsoluteExpression List BCDEx3 BinaryNumberToString binaryioset() ToTruthTable ToVariableInvertedFunction DiagramGateName long() Nor MantissaToPositiveDecimal MostSignificantDigit RadixFromIndex ToFullAnd MaxSAT Sequential Forwardly GetExcitationTable ToDigitalSystem DontCare MultiCover StateTransition string Zero