Унарные операции
[предыдущая глава]  [оглавление]  [следующая глава]

Существует 221 = 4 разных булевых функций с 1 аргументом.

Отрицание:
x~x
01
10

Другие названия этой функции: "инверсия", "обращение", "НЕ", "логическое НЕ". Другие обозначения этой функции: .

Тождественная функция:
xx
00
11

Ноль:
x0
00
10

Единица:
x1
01
11

Функция 0 всегда принимает значение 0, поэтому неважно, что имеется в виду: функция или значение; и можно применить одно и то же обозначение. То же самое относится к функции 1. Тождественная функция по значению всегда совпадает со своим аргументом, поэтому можно применять одно и то же обозначение и для аргумента, и для функции. Единственная нетривиальная функция - отрицание. Она изменяет значение параметра на противоположное: ~0 = 1, ~1 = 0. Знак "~" является знаком унарной операции и обозначает эту функцию.

Общий формат выглядит как ~(F), где F - некоторая формула. Для вычисления значения формулы ~(F) надо вычислить значение формулы F, подставить его в таблицу истинности для операции "~" и получить требуемый результат. Если F - константа или переменная, то скобки можно опускать, а если какая-то более сложная формула, то нельзя. Например: ~x, ~(~x), ~1, ~(0), ~(x & ~y).