IsSelfDualFunction IsUnateFunctionTo ToAndOr BCD binaryioset() Diagram Email long Minus Not PositiveIntegerToMantissa Radixes Print real SOP To2LayerNand ToFullAnd Solve ShortestInputsForDistinguishTwoStates Forwardly StateTransitionBasedly ToStateTransitionTable ToDigitalSystem To2layerOrAnd Balanced BestVariableOrder GetSubTable ComputeFunctionOrder Normalization Zero