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
Advanced IsBiUnateFunction IsBiUnateFunctionTo IsEqual IsThresholdFunction BCDEx3 bool() bool ToPOS ToROBDD ToShannonTree ToSOP DigitalSystem logicvardef() MantissaToPositiveInteger PositiveDecimalToMantissa One real() SOP Sequential ShortestInputsForDistinguishTwoStates InputVariables Backwardly StateVariables OutputAndStateBasedly ROBDD SimpleInner AdjustLogicVariableCount ComputeFunctionOrder Zero