Sequential.Realization.To2LayerNand
Back to table
/*
SequentialLogic
Sequential.Realization.To2LayerNand
[DigitalSystem sys]=Sequential.Realization.To2LayerNand(DigitalSystem sys);
Realize a DigitalSystem with the algorithm of 2-layer NAND-NAND gates.
*/
//-------------------------------------------------------------------
// examples
//-------------------------------------------------------------------
// result
MatchLogicFunction IsBiUnateFunctionTo IsBlankFunction IsLinearFunction IsNegativeUnateFunctionTo IsPositiveFunction Binary ToBinary PureBinary StringToBinaryNumber ToAndXor Dimacs Email Equiv Imply Load logicvardef Nand Not MantissaToPositiveDecimal RadixFromIndex To2LayerAndXor Solve ShortestInputsForDistinguishTwoStates TransitionSeries InputVariables StateVariables string EnlargeLogicFunction Zero