Логическое отрицание (инверсия)

Представление высказываний в виде логических выражений

Логические функции:

1.отрицание (инверсия);

2.логическое умножение (конъюнкция);

3.логическое сложение (дизъюнкция).

4.логическое следование (импликация);

5.эквивалентность (равнозначность);

Функции 1-3 называются базовыми. Такое название эта группа функций получила по той причине, что функции 4-5 и другие функции с собственными именами (которые мы не рассматриваем), а также всё множество сложных логических функций выражаются через базовые функции.

В обыденной речи мы часто пользуемся словом «НЕ», или словами «НЕВЕРНО, ЧТО», когда хотим что-то отрицать. Например, ваш знакомый сказал: «Попрыгунья стрекоза лето белое пропела.» Обозначим это высказывание буквой a. Если Вы не согласны, Вы скажете: «Лето НЕ белое.» Или: «НЕверно, что лето белое." Ваше высказывание обозначим буквой b. Нетрудно заметить, что значения истинности высказываний a и b находятся в определенной связи: если a истинно, то b ложно, и наоборот.

Логическое отрицание: операция, с помощью которой из высказывания a получается противоположное по смыслу высказывание b.

Обозначения операции «логическое отрицание»: ¬a, not a, NOT a, НЕ a, .

Таблица истинности функции «логическое отрицание»:

Логическое отрицание
Аргумент a	Функция F =