IsBlankFunction IsLinearFunction IsOneFunction IsPositiveFunction IsSymmetricFunctionTo IsZeroFunction AndXor BDD MaxValue MinValue BCDEx3 ToDualFunction ToTruthTable ExcitationTable LogicScript NumberSystem PositiveIntegerToMantissa PermutationMatrix POS real To2LayerNand AutoAssignInputAndStateVariables GetExcitationTable Implementation To2layerOrAnd Full StateTransition Utility ShannonExpansion Zero