Таблицы истинности логической функции
x1 | x2 | x3 | f(x1, x2, x3) |
Общее число различных булевых функций от n переменных равно .
Для анализа и синтеза схем ПК широко используются булевы функции одной и двух переменных.
Для одной булевой переменной имеются четыре различные булевы функции (табл. 2).
Таблица 2
Таблицы истинности для логических функций одной переменной
Обозначение функции | х | Название функции | |
f0 = 0 | Константа «0» | ||
f1 = х | Переменная х | ||
f2 = | Инверсия х | ||
f3 = 1 | Константа «1» |
Число всех булевых функций двух переменных равно 16 (табл. 3).
С помощью функций одной и двух двоичных переменных, называемых элементарными логическими функциями, можно, используя принцип суперпозиции (т.е. подстановки булевых функций вместо аргументов в другую функцию), построить любую булеву функцию.
Рассматривая булевы функции одной и двух переменных как операции на множестве всех булевых функций, можно построить различные алгебры булевых функций.
Таблица 3