Логическая операция инверсия - унарная операция над высказываниями, в результате выполнения которой высказывание становится противоположным исходному высказыванию.

Другие названия отрицания - отрицание или логическое НЕ.

Инверсия или отрицание изучается в информатике при рассмотрении раздела алгебра логики.

В естественных языках отрицанию соответствует частица 'не' или слова 'неверно, что'. Например, если высказывание A = 'Москва - столица России', то его отрицание будет звучать как 'Москва не столица России'.

В языках программирования для отрицания используют обозначение 'not' или восклицательный знак '!' (например, not(x = 5) или !(x<3)).

Для обозначения отрицания используют символ ¬ или черту над высказыванием. Например, отрицание A можно обозначить либо ¬A, либо \overline{A}.

Как набрать знак инверсии на клавиатуре

В Word чтобы набрать символ ¬ необходимо нажать левый Alt, и удерживая его на цифровой клавиатуре (которая справа клавиатуры) набрать цифры 0172. Т. е. символ ¬ - это Alt+0172. Режим Num Lock должен быть включен.

Чтобы сделать черту над буквой, необходимо зайти в пункт меню Вставка -> Формула (или Уравнение). После этого на панели инструментов найти диакритические знаки и среди них нужный нам знак с чертой над буквой.

 

Таблица истинности инверсия

A A
0 1
1 0

Отрицание и круги Эйлера

Обозначим высказывание A кругом, тогда отрицание A будет располагаться снаружи круга.

Отрицание круги Эйлера