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
IsPositiveUnateFunctionTo IsSelfAntiDualFunction IsSelfDualFunction And AndOr MinValue OneComplement binary bool() ToDiagram ToPOS Count minterm() PositiveDecimalToMantissa RadixFromIndex object() PermutationMatrix real To2LayerNor To2LayerAndOr Save Sequential Backwardly StateVariables FastVerificationData Full CreateDummyLogicFunction EnlargeLogicFunction IndependentBase Zero
The website is simply translated by using the Google Translate. Please inform us if you find the wrong/funny/weird translation.