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
PermuteLogicFunction IsOneFunction IsUnateFunctionTo BCD StringToBinaryNumber ToNotFunction ToPOS ToVariableInvertedFunction logicvardef long() minterm NumberSystem RadixFromIndex object real() Realization SOP SAT Sequential ShortestInputsForDistinguishTwoStates OutputAndStateBasedly Compatibility HuffmanMealy Balanced FastVerificationData StateTransition AdjustLogicVariableCount ShannonExpansion var Zero
The website is simply translated by using the Google Translate. Please inform us if you find the wrong/funny/weird translation.