Advanced Analysis IsBlankFunction IsSelfDualFunction IsSymmetricFunctionTo AbsoluteExpression MinValue BCDEx3 ToDualFunction ToShannonTree ToSOP Diagram Imply list() PositiveIntegerToMantissa object() object real To2LayerAndOr Solve InputVariables OutputAndStateBasedly GetExcitationTable FullTable Balanced Canonical StateDeviceName AdjustLogicVariableCount SemanticEval Zero