Некоторые способы обозначения отрицания (инверсии) в логических операциях:
Также для обозначения отрицания исходного высказывания может использоваться черта сверху (A−). 4
Отрицание — унарная операция, которая принимает одно логическое высказывание и возвращает противоположное значение: ложное высказывание становится истинным, а истинное — ложным. 13