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

Отрицание:

x	~x
0	1
1	0

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

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

x	x
0	0
1	1

Ноль:

x	0
0	0
1	0

Единица:

x	1
0	1
1	1

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

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