Логические функции

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

Логические функции одной переменной

Существует 4 функции одной переменной.

Таблица истинности для функций одной переменной

Функции одного аргумента имеют следующие аналитические записи и названия

f ₀(x)= 0 — константа нуля;

f₁ (x) = х — повторение х;

f₂ (х)= — отрицание х, НЕ, инверсия, читается «не x»;

f ₃ (х) = 1 — константа единицы.

Функции одной переменной f₀, f₁, f₃ не представляют интереса с точки зрения технической реализации. Практически применяется только функция f₂ (x) = — инверсия.