Analysis IsSelfAntiDualFunction ToBinary ToDiagram ToDualFunction ToPOS ToROBDD ToSOP Email Equiv Nand Nor PositiveDecimalToMantissa Radixes RadixToIndex object real() Realization To2LayerNor ShortestInputsForDistinguishTwoStates TransitionSeries AutoAssignInputAndStateVariables StateTransitionBasedly CreateCompactTableWithFullSimplification Implementation Balanced ComputeFunctionOrder Normalization var() Zero