Advanced Analysis IsInverse IsPositiveFunction ToAndOr binary binaryioset() Convert ToDiagram ToSOP Email Get Minus Nand MantissaToPositiveNumber RadixFromIndex To2LayerNor To2LayerNand ToFullAnd StateVariables Simplification Full MultiCover string() GetNegativeLogicFunction AdjustLogicVariableCount SemanticEval var() var Zero