IsNegativeUnateFunctionTo IsSymmetricFunction IsThresholdFunction AndXor BDD binary() MinValue ToBinary BCDEx3 binaryioset() ToAndXor ToDualFunction FeedbackSystem Minus Nand Nor MantissaToPositiveNumber RadixToIndex To2LayerNor SAT ShortestInputsForTransition Backwardly StateVariables CreateCompactTable Full CreateDummyLogicFunction IndependentBase ShannonExpansion ShrinkLogicFunction Zero