Analysis IsBiUnateFunction IsBlankFunction IsEqual IsNegativeUnateFunctionTo binary() MaxValue BCD binaryioset ToAndXor ToOrAnd ToNotFunction ToSOP list() long() long MostSignificantDigit RadixFromIndex To2LayerOrAnd SOP CreateCompactTable CreateCompactTableWithFullSimplification Full SimpleCover ComputeDONTCARE ComputeFunctionOrder CreateDummyLogicFunction Normalization Substitute Zero