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

A̅, или !A - это логическая инверсия.
Инверсия означает что переменная А (любая переменная) меняет свое значение на противоположное.
Например, если А = "Верно" или 1, то A̅ = "Неверно", то есть 0.