Элементарные функции алгебры логики

Булевы функции одного аргумента представлены в таблице 3.

Таблица 3. Булевы функции одного аргумента

Среди этих функций и представляют собой константы, , а называется отрицанием (инверсией, логическое НЕ):

В таблице 4 приведены все 16 функций от двух аргументов.

Таблица 4. Булевы функции от двух аргументов

0 0
0 1
1 0
1 1

Рассмотрим более подробно эти функции.

Константы: – тождественная ложь,

– тождественная истина.

Унарные функции (функции одного аргумента).

Функции тождественности:

или , или .

Отрицание (инверсия, логическое НЕ):

, .