MatchLogicFunction IsPositiveUnateFunctionTo IsSelfAntiDualFunction AbsoluteExpression BCDEx3 ToDualFunction ToTruthTable DiagramGateName DigitalSystem Eq Equiv list() Count Get Nor Not PositiveDecimalToMantissa Print To2LayerAndOr SAT AutoAssignInputAndStateVariables Forwardly Compatibility DontCare StateDeviceName StateTransition CreateDummyLogicFunction Normalization XORP Zero