IsBiUnateFunction IsOneFunction IsParityFunction IsSymmetricFunction IsSymmetricFunctionTo AndXor BCDEx3 ToOrAnd FeedbackSystem Nand LeastSignificantDigit RadixToIndex One Or POS Print To2LayerAndXor To2LayerNand SAT Save ShortestInputsForTransition Forwardly Simplification FullTable CreateFromLogicFunctions Normalization var() var XORP Zero