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
MatchLogicFunction IsBlankFunction IsEqual IsInverse IsMonotonicFunction And binary() ToBinary NineComplement OneComplement ToNotFunction ToPOS Eq NumberSystem Or Print To2LayerOrAnd ShortestInputsForTransition Backwardly StateVariables StateTransitionBasedly ToFeedbackSystem CreateCompactTable GetExcitationTable Implementation DontCare StateTransition string() ShrinkLogicFunction Zero