Инверсия

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

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

или

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

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