Как работает отрицание логических выражений в математике и информатике?

Отрицание логических выражений (инверсия, логическое отрицание, логическое «НЕ») получает из истинного высказывания ложное и, наоборот, из ложного — истинное. maximumtest.ru

Правило работы отрицания: если исходное выражение истинно, то отрицание исходного — будет ложно, и наоборот, если исходное выражение ложно, то его отрицание будет истинно. spravochnick.ru

Пример: высказывание «Москва — столица России» истинно, а высказывание, образованное с помощью логического отрицания («Москва — не столица России») — ложно. maximumtest.ru

В информатике операцию отрицания обозначают, например, как «НЕ», «!», «NOT». otus.ru