Таблицы истинности логической функции

x1	x2	x3	f(x1, x2, x3)

Общее число различных булевых функций от n переменных равно .

Для анализа и синтеза схем ПК широко используются булевы функции одной и двух переменных.

Для одной булевой переменной имеются четыре различные булевы функции (табл. 2).

Таблица 2

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

Обозначение функции	х	Название функции
f0 = 0			Константа «0»
f1 = х			Переменная х
f2 =			Инверсия х
f3 = 1			Константа «1»

Число всех булевых функций двух переменных равно 16 (табл. 3).

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

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

Таблица 3