Что такое à (логическая операция) ?

A̅, или! A - это логическая инверсия.

Инверсия означает что переменная А (любая переменная) меняет свое значение на противоположное.

Например, если А = "Верно" или 1, то A̅ = "Неверно", то есть 0.