Обозначения для логических связок операций 1 отрицание