Realization.POS.To2LayerOrAnd
Back to table
/*
Logic-Function-Analysis
Realization.POS.To2LayerOrAnd
[Diagram g]=Realization.POS.To2LayerOrAnd(LogicFunction F,...);
F : a list of logic function
g : a logic function in the Diagram form
Realize a list of POS with the two layer OR-AND gates. All the logic function will be converted to its POS expression.
*/
//-------------------------------------------------------------------
// examples
f1=Utility.CreateDummyLogicFunction("AndOr",4,4);
f2=Utility.CreateDummyLogicFunction("AndOr",3,2);
Print(f1,f2);
[diagram]=Realization.POS.To2LayerOrAnd(f1,f2);
Print(diagram);
//-------------------------------------------------------------------
// result
            
                
                
                
                
                
                
                
                
                
                
                
                
                
                
             
            
            
            
            
            
ToBinary BCDEx3 BinaryNumberToString binaryioset ToOrAnd ToShannonTree Dimacs logicvardef() logicvardef minterm Minus Nor PositiveNumberToMantissa Or OrAnd PermutationMatrix POS ToFullAnd MaxSAT Backwardly ToDigitalSystem Compatibility MultiCover StateTransition CreateFromLogicFunctions GetPositiveLogicFunction AdjustLogicVariableCount ComputeDONTCARE var() Zero