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