Отрицание.

Определение. Отрицание – унарная логическая операции (т.е. применимая к одному высказыванию). Отрицание соответствует конструкциям «Не …», «Неверно, что …».

Отрицание высказывания а обозначается и определяется следующей таблицей

0	1
1	0

Очевидно, имеет место свойство .

Это свойство называется законом двойного отрицания.

Перейдем далее к определению бинарных (т.е. применимых к паре высказываний) операций.