Логическая операция ИНВЕРСИЯ (отрицание)

 

Операция, выражаемая словом «не», называется отрицанием. Отрицание – это логическая операция, заключающаяся в отрицании исходного выражения:

– обозначение ;

– в языках программирования обозначениеNOT.

– в русском языке соответствует частица «не» или слова «неверно, что…».

 

Таблица истинности	Диаграмма Эйлера-Венна
A

 

Функция отрицания может быть только от одной переменной. Например, отрицание первой переменной выглядит следующим образом:

 

А	В

 

Для нее справедливо.

Таблица истинности отрицания второй переменной выглядит следующим образом:

 

А	В

 

Для нее справедливо.