MatchLogicFunction IsOneFunction AndOr OneComplement PureBinary ToDualFunction logicvardef minterm() Minus Not PositiveNumberToMantissa RadixToIndex object OrAnd POS Print To2LayerNor CreateCompactTable CreateCompactTableWithFullSimplification ToDigitalSystem HuffmanMealy ShannonTree ROBDD Full SimpleInner GetDontCareLogicFunction GetPositiveLogicFunction Utility ComputeFunctionOrder Zero