Логические операции над логическими переменными

Отрицание

Операция отрицания является унарной, т.к. имеет один аргумент. Иначе ее называют инверсией, дополнением, НЕ и обозначают или X, NOT X. X 4

Отрицанием некоторого высказывания А называется такое высказывание, которое истинно, когда А ложно, и ложно, когда А истинно. Определение отрицания может быть записано с помощью таблицы истинности:

x