PermuteLogicFunction IsBiUnateFunction IsBlankFunction IsPositiveUnateFunctionTo IsSymmetricFunctionTo IsUnateFunction AndXor binary() List ToSOP Diagram logicvardef minterm LeastSignificantDigit MantissaToPositiveNumber object() PermutationMatrix To2LayerOrAnd To2LayerAndOr Sequential Assign ShannonTree BestVariableOrder string CreateFromLogicFunctions GetNegativeLogicFunction ComputeDONTCARE ShannonExpansion var Zero