MatchLogicFunction IsCovering IsParityFunction IsSelfAntiDualFunction Binary List BCD binary DigitalSystem list() Count Load logicvardef() long MostSignificantDigit RadixFromIndex One SOP SAT Implementation ToDigitalSystem To2layerOrAnd DontCare SimpleInner StateDeviceName CreateFromLogicFunctions GetPositiveLogicFunction SemanticEval var() Zero