Отрицание (inversion, Boolean complementation) — одноместная булева операция, результат которой имеет булево значение, противоположное булеву значению операнда.
Нерекомендованный синоним: Булево дополнение; инверсия; операция обращения.
[ГОСТ 33707-2016. (ISO/IEC 2382:2015) Информационные технологии (ИТ). Словарь]
Отрицание — одноместная логическая операция, обозначаемая а. Для двузначной логики она определяется следующим образом: если а является истинным, то а является ложным, а если а является ложным, то а является истинным. В многозначной логике имеется несколько видов отрицания. Прямое обобщение двузначного отрицания для k-значной логики выглядит как а = (k — a) mod k.
[Толковый словарь по искусственному интеллекту / Авторы-составители А.Н. Аверкин, М.Г. Гаазе-Рапопорт, Д.А. Поспелов. М.: Радио и связь, 1992. — 256 с.]
Отрицание — такая функция (y) двоичной переменной (x), которая равна единице, если входная переменная равна нулю, и наоборот. Функция записывается выражением y = x. Отрицание реализуется с помощью инвертора или элемента.
[Поляков А.Е. Электротехника и электроника: лабораторный практикум: учебное пособие /А.Е. Поляков, М.С. Иванов А.В., Е.А. Рыжкова, Е.М. Филимонова; под ред. профессора А.Е. Полякова. — Москва: ИНФРА-М, 2021. — 378 с.]