Логическая операция, которая возвращает значение истинности, противоположное значению самой переменной, называется логическим отрицанием или инверсией. В русском языке эта операция часто обозначается словом "НЕ", а в математической записи — символом ¬ или знаком ! в программировании.
Функция логического отрицания действует следующим образом:
- Если исходная переменная имеет значение "ложь" (0), то результат операции будет "истина" (1).
- Если исходная переменная имеет значение "истина" (1), то результат будет "ложь" (0).
Пример:
- Для переменной ( A = \text{ложь} ), результат операции НЕ будет (\neg A = \text{истина}).
- Для переменной ( B = \text{истина} ), результат операции НЕ будет (\neg B = \text{ложь}).
Логическое отрицание является одной из базовых операций в булевой алгебре и широко используется в программировании и цифровой логике для инвертирования условий, создания более сложных логических выражений и управления потоком выполнения программ.