Определение.Булевой (логической) функцией называется функция, аргументами которой являются булевы переменные, а сама функция принимает значение из множества {0,1}.
Областью определения булевой функции является совокупность 2n двоичных наборов ее аргументов. Набор аргументов можно рассматривать как n-компонентный двоичный вектор.
Булеву функцию можно задать с помощью следующих форм:
§ аналитической;
§ табличной;
§ графической;
§ таблично-графической;
§ числовой;
§ символической.
Аналитическая форма – булева функция задается логическим выражением, например:
Табличная форма – булева функция задается таблицей истинности.
Переход от аналитической формы к табличной однозначен. Обратный переход однозначным не является.
Пример: таблица истинности для функции y1
Остальные формы задания булевой функции рассматриваются в последующих разделах.
