IsInverse IsParityFunction IsSelfDualFunction ToBinary BCD BinaryNumberToString binaryioset ToDiagram Diagram DiagramGateName Get minterm MantissaToPositiveDecimal MantissaToPositiveInteger RadixToIndex PermutationMatrix Save ShortestInputsForDistinguishTwoStates InputVariables Backwardly Forwardly StateTransitionBasedly GetExcitationTable Simplification Compatibility ROBDD StateDeviceName StateTransition GetPositiveLogicFunction Zero