Advanced IsEqual IsLinearFunction IsOneFunction IsParityFunction IsSelfDualFunction AndOr List MinValue binary bool() AddXorTerm ToROBDD Eq FeedbackDiagram Get logicvardef minterm() Nor MantissaToPositiveDecimal MantissaToPositiveNumber PositiveIntegerToMantissa object real To2LayerAndOr Compatibility SimpleInner CreateFromLogicFunctions Normalization Zero