СДНФ СКНФ Полином Жегалкина для логических выражений