IsBiUnateFunction IsSymmetricFunctionTo IsUnateFunction AndXor AbsoluteExpression BCD bool() Convert ToAndXor ToROBDD ToShannonTree DigitalSystem FeedbackSystem Radixes PermutationMatrix POS Realization To2LayerNor Sequential StateTransitionBasedly ToStateTransitionTable ToDigitalSystem DontCare string TimingChart GetPositiveLogicFunction Normalization ShannonExpansion var() Zero