Realization.POS.To2LayerNor
Back to table
/*
Logic-Function-Analysis
Realization.POS.To2LayerNor
[Diagram g]=Realization.POS.To2LayerNor(LogicFunction F,...);
F : a list of logic functions
g : a logic function in the Diagram form
Realize a list of POS with the two layer NOR-NOR 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.To2LayerNor(f1,f2);
Print(diagram);
//-------------------------------------------------------------------
// result
Analysis IsBiUnateFunctionTo IsMonotonicFunction IsParityFunction IsSelfAntiDualFunction IsThresholdFunction IsUnateFunctionTo BDD binary() Binary ToNotFunction Diagram Dimacs Eq ExcitationTable Imply MantissaToPositiveDecimal MostSignificantDigit PositiveDecimalToMantissa PositiveIntegerToMantissa OrAnd SAT MaxSAT Backwardly StateVariables OutputAndStateBasedly Full TimingChart var Zero