Операция, выражаемая словом «не», называется отрицанием. Отрицание – это логическая операция, заключающаяся в отрицании исходного выражения:
– обозначение
;
– в языках программирования обозначение NOT.
– в русском языке соответствует частица «не» или слова «неверно, что…».
| Таблица истинности | Диаграмма Эйлера-Венна | ||||||
|
|
Функция отрицания может быть только от одной переменной. Например, отрицание первой переменной выглядит следующим образом:
| А | В |
|
Для нее справедливо
.
Таблица истинности отрицания второй переменной выглядит следующим образом:
| А | В |
|
Для нее справедливо
.






