Нормальные формы ФАЛ: ДСНФ и ДНФ
Среди различных форм аналитической записи ФАЛ, существуют некоторые исходные формы, основным назначением которых является первоначальное аналитическое описание ФАЛ. Эти формы называются нормальными и составляются на основе данных таблицы истинности или числового представления ФАЛ.
ДСНФ – дизъюнкция специально вводимых вспомогательных функ-й (минтермов), которые = LOG1 на тех же наборах, что и заданная ф-я Для представления ФАЛ в ДСНФ необходимо выписать все наборы вх. переменных, на которых ф-я принимает значение LOG1, и поставить знаки отрицания над переменными равными нулю в соответствующем наборе.
| X1 | X2 | X3 | f |
Кроме ДСНФ ФАЛ можно представить в виде ДНФ, т.е. дизъюнкцией элементарной конъюнкции.
Последовательность представления в ДНФ:
1.С помощью тождественных преобразований ДСНФ выполняют упрощения функции.
2.Применяем дистрибутивный з-н конъюнкции: А(В+С)=АВ+АС
Для перехода ДСНФ →ДНФ каждому из членов лог.выражения, в котором представлены не все аргументы, следует добавить выражение 
, в клетках которой проставлены значения функции 
, на наборах значений координат, заданных таблицей истинности
. Области могут пересекаться, и одни и те же клетки могут входить в разные области. Это позволяет исключить одну переменную при объединении двух клеток, или две переменные при объединении четырех соседних клеток, или три переменные при объединении восьми клеток карты Карно. При охвате клеток замкнутыми областями следует стремиться к минимальному числу областей, каждая из которых содержала бы возможно большее число клеток.
