Упрощение отрицательности