MatchLogicFunction IsEqual IsOneFunction AbsoluteExpression MinValue ToBinary OneComplement binary AddXorTerm ToDualFunction ToShannonTree DigitalSystem Equiv FeedbackSystem logicvardef long minterm() Minus NumberSystem MantissaToPositiveInteger POS SOP OutputAndStateBasedly ToFeedbackSystem ToDigitalSystem FastVerificationData Full SimpleInner var Zero