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 PermuteLogicFunction IsBlankFunction IsSymmetricFunctionTo AndOr GrayCode binary ToOrAnd ToVariableInvertedFunction ToXORP Eq Equiv FeedbackDiagram minterm() MostSignificantDigit One POS To2LayerNor To2LayerAndOr To2LayerAndXor Assign Implementation Compatibility Canonical MultiCover SimpleInner string() Normalization Xor Zero