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 IsBlankFunction IsCovering IsInverse IsMonotonicFunction IsSymmetricFunction And binary() binaryioset() bool ToDualFunction ToROBDD Eq ExcitationTable FeedbackSystem Count Load logicvardef minterm() RadixFromIndex ToFullAnd ToFeedbackSystem CreateCompactTableWithFullSimplification ToDigitalSystem Fast FastVerificationData Shannon ComputeDONTCARE EnlargeLogicFunction Zero
The website is simply translated by using the Google Translate. Please inform us if you find the wrong/funny/weird translation.