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 IsEqual IsLinearFunction IsParityFunction binary() BinaryNumberToString bool() ToXORP DigitalSystem FeedbackDiagram list() Get Load Nand Not MantissaToPositiveInteger RadixToIndex Save StateTransitionBasedly CreateCompactTable CreateCompactTableWithFullSimplification ToDigitalSystem DontCare string() TruthTable GetDontCareLogicFunction ComputeDONTCARE var() Xor Zero