Аналитически запись логических функций может быть представлена в виде дизъюнктивной или конъюнктивной нормальной формы (СДНФ, СКНФ). В дизъюнктивной форме функция записывается как логическая сумма логических произведений, в конъюнктивной форме – как логическое произведение логических сумм. Порядок выполнения действий такой же, как и в обычных алгебраических формулах.
Представление функции в виде СДНФ или СКНФ легко получить по таблице истинности данной функции.
Таблица 1
| №
| Значения
переменных
| Функции
|
| x
| у
| f1
| f2
| f3
| f4
| f5
| f6
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Чтобы получить аналитическое выражение в СДНФ функции, заданной таблицей истинности, нужно записать логическую сумму произведений входных переменных для тех наборов, на которых функция принимает единичное значение, причем, переменная берется без знака инверсии, если ее значение в наборе равно 1 и с инверсией, если ее значение в наборе равно 0.
Чтобы получить аналитическое выражение в СКНФ функции, заданной таблицей истинности, нужно записать логическое произведение сумм входных переменных для тех наборов, на которых функция принимает нулевое значение, причем, переменная берется со знаком инверсии, если ее значение в наборе равно 1, и без знака инверсии, если ее значение в наборе равно 0.
