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 AndXor Binary GrayCode NineComplement bool() ToAndXor ToNotFunction ToPOS ToROBDD Dimacs LeastSignificantDigit One Print To2LayerAndXor SAT Sequential ShortestInputsForTransition InputVariables Backwardly BestVariableOrder Fast Canonical SimpleInner TruthTable CreateDummyLogicFunction var() XORP Zero

Search This Website :

 
Buy website traffic cheap