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
IsCovering IsOneFunction AndOr MinValue ToBinary NineComplement AddXorTerm ToShannonTree Diagram Eq list() Count LogicScript NumberSystem RadixFromIndex One SOP To2LayerNand Save Compatibility TruthTable CreateFromLogicFunctions GetDontCareLogicFunction GetNegativeLogicFunction CreateDummyLogicFunction IndependentBase ShannonExpansion ShrinkLogicFunction Xor Zero