Минимальная форма представления функции алгебры это такая форма, которая содержит минимальное количество термов, которые имеют минимальные ранги

Различают также минимальные НДФ и НКФ логических функций.

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

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

Совершенные нормальные формы

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