Advanced Analysis IsInverse IsSelfAntiDualFunction BDD AbsoluteExpression PureBinary StringToBinaryNumber AddXorTerm DigitalSystem Eq ExcitationTable list() NumberSystem MantissaToPositiveDecimal To2LayerOrAnd SOP Sequential ShortestInputsForDistinguishTwoStates Assign Compatibility BestVariableOrder GetDontCareLogicFunction GetSubTable ComputeFunctionOrder CreateDummyLogicFunction ShannonExpansion var() XORP Zero