PermuteLogicFunction IsEqual IsInverse IsNegativeUnateFunctionTo IsParityFunction IsPositiveFunction IsPositiveUnateFunctionTo IsSelfAntiDualFunction IsThresholdFunction binaryioset() binaryioset ToOrAnd ToDualFunction DiagramGateName Load minterm RadixFromIndex real() To2LayerOrAnd ShortestInputsForDistinguishTwoStates ShortestInputsForTransition ShannonTree DontCare StateTransition GetDontCareLogicFunction ComputeFunctionOrder ShannonExpansion Substitute var() Zero