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
Advanced PermuteLogicFunction IsEqual IsMonotonicFunction IsNegativeUnateFunctionTo IsPositiveUnateFunctionTo IsThresholdFunction And AndXor FromBinary binaryioset() ToAndXor ToOrAnd ToVariableInvertedFunction ExcitationTable long() Nand MantissaToPositiveDecimal real() SOP InputVariables Implementation To2layerOrAnd Full StateTransition RandomGenerate ComputeFunctionOrder Substitute XORP Zero
The website is simply translated by using the Google Translate. Please inform us if you find the wrong/funny/weird translation.