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 IsMonotonicFunction IsOneFunction IsPositiveUnateFunctionTo AndOr ToAndOr MaxValue ToVariableInvertedFunction DiagramGateName list() LogicScript long LeastSignificantDigit Or real To2LayerOrAnd To2LayerAndXor Solve CreateCompactTableWithFullSimplification Simplification ShannonTree ROBDD MultiCover StateDeviceName string GetSubTable IndependentBase Normalization Xor Zero