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
AndXor binary() List binaryioset() bool Convert ToDualFunction ToPOS ToXORP Email FeedbackSystem list() Load Nor Not PositiveDecimalToMantissa SOP SAT ShortestInputsForDistinguishTwoStates Forwardly GetExcitationTable To2layerOrAnd HuffmanMealy StateDeviceName GetSubTable ComputeDONTCARE IndependentBase Substitute var Zero