Условие: Упростить выражение так, чтобы в полученной формуле не содержалось отрицания сложных высказываний: