Отрицание – это логическая функция от одной переменной, которая принимает единичное значение при нулевом значении переменной и наоборот. Запись этой функции:
F = .
Конъюнкция может быть обозначена следующими символами:
,¯, не, not.
Черта над переменной x является признаком отрицания (инверсии). Таблица истинности этой функции представлена на рис. 1а. Функция логического отрицания описывает функционирование логического элемента НЕ (рис. 1б).
Условно-графическое обозначение элемента НЕ приведено на рис. 1в. Единичный сигнал на выходе элемента НЕ появляется при нулевом сигнале на входе (x =0, F=1) и, наоборот, нулевой сигнал на выходе появляется при единичном сигнале на входе (x =1, F=0). Графически отрицание можно представить с помощью кругов Эйлера (рис. 2).
а) б) в)
x | F |
Рис. 1. Элемент НЕ
Рис. 2. Графическое представление отрицания на множестве