Вопросы к Поиску с Алисой
Некоторые способы обозначения отрицания (инверсии) в логических операциях:
Также для обозначения отрицания исходного высказывания может использоваться черта сверху (A−). examer.ru
Отрицание — унарная операция, которая принимает одно логическое высказывание и возвращает противоположное значение: ложное высказывание становится истинным, а истинное — ложным. ru.ruwiki.ru www.work5.ru