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

x1 x2 x3 f(x1, x2, x3)

 

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

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

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

 

Таблица 2

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

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

 

 

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

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

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

 

Таблица 3