Нормальные формы записи булевых функций

Задание функции комбинационных логических схем.

Функция может быть задана:

1) таблицей истинности.

Таблица истинности (рис 2.1.) перечисляет все наборы значений двоичных переменных и содержит строк, где n – число переменных. Для каждого набора указывается значение функции.

Если функция на наборе не определена, то в столбце значений функции используется “-“ (прочерк).

Если определить старшинство переменных, то каждому набору можно присвоить номер указываемый в столбце номеров N.

2) номерами наборов, например, F=1 на наборах {2,3,6}.

3) задание в виде формулы алгебры логики.

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

Выражение вычисляется слева на право в соответствии со старшинством операций .

4) топологические способы задания функции в виде графов или диаграмм (карт) Карно, в виде n - мерных кубов.

Любая функция алгебры логики может быть представлена в дизъюнктивной нормальной форме (ДНФ) или конъюнктивной нормальной форме (КНФ).

ДНФ – дизъюнкция элементарных конъюнкций.

Элементарная конъюнкция – это конъюнкция переменных функций и их отрицаний. Она не может включать переменную и её отрицание одновременно.

Дата добавления: 2014-01-05