MatchLogicFunction Analysis IsBiUnateFunctionTo IsBlankFunction IsSymmetricFunction IsUnateFunction PureBinary TwoComplement binary ToNotFunction ToROBDD ToXORP Email minterm Minus RadixToIndex One OrAnd real To2LayerNor ShortestInputsForDistinguishTwoStates Compatibility Full StateTransition string() CreateFromLogicFunctions SemanticEval Xor XORP Zero