Некоторые знаки, которые используются в информатике для обозначения логических операций:

• Инверсия (отрицание). 5 Обозначается символом ¬ или !. 5
• Конъюнкция (логическое «И»). 5 Обозначается символом ∧ или &&. 5
• Дизъюнкция (логическое «ИЛИ»). 5 Обозначается символом ∨ или ||. 5
• Импликация (следование). 1 Обозначается символом A → B. 1
• Эквивалентность (равносильность). 1 Обозначается символом A ≡ B. 1

Также для обозначения инверсии ещё используют символы НЕ, ㄱ, Ā, not A (А — логическое высказывание). 2