Advanced PermuteLogicFunction IsInverse IsUnateFunction IsUnateFunctionTo IsZeroFunction AndOr binary() Binary MinValue binaryioset ToPOS DiagramGateName logicvardef() MantissaToPositiveNumber object OrAnd To2LayerNor To2LayerOrAnd AutoAssignInputAndStateVariables Compatibility Balanced BestVariableOrder Full SimpleCover StateDeviceName TruthTable RandomGenerate ShannonExpansion Zero