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

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

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

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

Таблица 2

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

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

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

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

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

Таблица 3