Инверсия (отрицание) — это логическое не.

Говорят, что имея суждение А, можно образовать новое суждение, которое читается как «не А» или «неверно, что А»

Для обозначения отрицания суждения употребляется символ ¬ или – над переменной.

Запись ¬А читается как «не А».

Пример:

Пусть суждение А = «Сегодня идёт снег», тогда отрицанием будет (не А) А = «Сегодня не идёт снег».

Инверсия логической переменной истинна, если сама переменная ложна, и, наоборот, инверсия ложна, если переменная истинна.

Для операции «инверсия» (или «отрицания») таблица истинности выглядит так:

Таблица истинности. Отрицание.

А	¬А
0	1
1	0

Это может быть также записано в виде:

0 = 1, 1 = 0

В программировании операцию отрицания обозначают «NOT» (от английского «не»).