IsPositiveFunction IsSelfAntiDualFunction IsUnateFunction AndOr MinValue ToBinary OneComplement ToAndXor ToVariableInvertedFunction Minus Radixes One OrAnd PermutationMatrix To2LayerNor To2LayerNand SAT Sequential ToStateTransitionTable Implementation HuffmanMealy BestVariableOrder Full MultiCover SimpleInner string AdjustLogicVariableCount ComputeFunctionOrder var() Zero