Логическое НЕ также называется «логическим отрицанием» или же «инверсией».
Выполняется над одним логическим операндом.
Обозначение:
НЕ, минус или черточкой сверху, например:
Результат инверсии:
— если исходное утверждение ИСТИННО, то инверсное утверждение будет ЛОЖНО
— если исходное утверждение ЛОЖНО, то инверсное утверждение будет ИСТИННО
С этим иногда возникает путаница. Обратите внимание!
Если, например, исходное утверждение А = «В коробке находится больше 10-и карандашей» —
то обратное утверждение будет не
«В коробке находится меньше 10-и карандашей»
а
«В коробке находится меньше или ровно 10-и карандашей» .
Запомнили?
Таблица истинности логического НЕ
или вот так:
Пример:
Погода хорошая (утверждение А)
Инверсное утверждение (НЕ-А) будет «Погода плохая»
То есть: В = -А
Еще примеры:
Схематическое обозначение инверсии:
