Логическая операция инверсия - унарная операция над высказываниями, в результате выполнения которой высказывание становится противоположным исходному высказыванию.
Другие названия отрицания - отрицание или логическое НЕ.
Инверсия или отрицание изучается в информатике при рассмотрении раздела алгебра логики.
В естественных языках отрицанию соответствует частица 'не' или слова 'неверно, что'. Например, если высказывание 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 будет располагаться снаружи круга.