5.2.1 Операция «отрицание»

В булевой алгебре высказывания обычно обозначаются латинскими буквами. Еще раз подчеркнем, что нас не интересует конкретное содержание высказываний, нас интересует только их истинность или ложность.

Отрицанием(инверсией)заданного высказыванияАназывается другое высказывание, являющееся истинным, если исходное высказывание ложно, и ложным в противном случае.

В русском языке этой операции соответствует частица «не».

Обозначается:А, А.

Читается: «не А».

Пример: А= «Арбуз – ягода»,А = «Арбуз – не ягода».

Логические операции удобно описывать так называемыми таблицами истинности, в которых отражают результаты вычислений сложных высказываний при различных значениях исходных простых высказываний (табл. 1-5).

Таблица 1 – Таблица истинности для логической операции Отрицание

Таблица истинности задает логическую функцию, то есть правила преобразования входных логических значений в выходные.