Вопросы к Поиску с Алисой
Некоторые знаки, которые используются в информатике для обозначения логических операций:
Также для обозначения инверсии ещё используют символы НЕ, ㄱ, Ā, not A (А — логическое высказывание). foxford.ru