Лекция: Инверсия.

Инвертор логический элемент, реализующий операцию отрицания (инверсию), которая соответствует связке НЕ. Инверсию в алгебре логики обозначают знаком или надчеркиванием. Обозначение Х читается НЕ Х .

В схемах и технической документации этот элемент выглядит так:

или

Его работу объясняет следующая таблица истинности:

Действительно, с точки зрения формальной логики не ложь это истина, а не истина ложь.