IsBiUnateFunction IsSelfDualFunction AndOr binary() MaxValue MinValue OneComplement StringToBinaryNumber TwoComplement binaryioset ToDiagram DiagramGateName list() logicvardef Not LeastSignificantDigit To2LayerAndOr To2LayerAndXor Solve Save ShortestInputsForTransition InputVariables Full SimpleCover StateDeviceName TruthTable GetPositiveLogicFunction Utility AdjustLogicVariableCount Zero