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





IsLinearFunction IsOneFunction IsPositiveFunction IsSelfAntiDualFunction IsSymmetricFunction IsUnateFunctionTo BDD List ToDualFunction ExcitationTable FeedbackSystem Imply long() Nand RadixFromIndex Assign AutoAssignInputAndStateVariables StateVariables ToFeedbackSystem CreateCompactTableWithFullSimplification Fast FastVerificationData Canonical SimpleInner CreateFromLogicFunctions GetSubTable RandomGenerate Normalization ShannonExpansion Zero

Serĉu ĉi tiun retejon :

 
Buy website traffic cheap