При решении конкретных технических задач булевы функции, отражающие логические связи, наиболее часто задаются в табличной форме. Однако такая форма задания функций при всей ее наглядности не позволяет ответить на вопрос, каким образом реализовать и если можно, то упростить данную функцию. Для реализации и последующего упрощения булеву функцию следует представить в аналитической форме в одном из функционально полных наборов. Поскольку в настоящее время методы представления и минимизации функций наиболее полно разработаны в базисе ОФПН, то именно этот базис в дальнейшем и будет рассматриваться.
Допустим, что в ходе решения задачи требуется реализовать переключательную функцию, заданную таблицей 2.
Таблица 2
| Номер набора | Аргументы | Значение функции на i-ом наборе 
| ||
| 
| 
| ||
Как видно из таблицы, функция должна принимать значение 1 только на 3-ем, 6-ом и 7-ом наборах. На всех остальных наборах ее значение равно 0. Возникает вопрос, каким образом записать эту функцию аналитически, то есть представить в виде формулы. Применительно к основному базису, содержащему элементы дизъюнкции, конъюнкции и отрицания, доказано, что любая переключательная функция, предварительно заданная в табличной форме, может быть записана аналитически в двух формах, получивших название канонических (нормальных): в дизъюнктивной совершенной нормальной форме (ДСНФ) и в конъюнктивной совершенной нормальной форме (КСНФ).
Аналитическая запись функций в виде ДСНФ и КСНФ предполагает представление этих функций посредством суперпозиции специально вводимых вспомогательных функций: минтермов и макстермов.
Минтермы часто называют конституентами единицы, а макстермы — конституентами нуля. Минтермом называют булево произведение (конъюнкцию) от n переменных, в котором каждая переменная входит один раз в прямой ил инверсной форме. Макстермом называют булеву сумму от n переменных, в которой каждая переменная входит один раз в прямой или инверсной форме.
Отсюда следует, что переключательная функция от n переменных имеет число минтермов и макстермов, равное числу наборов, на которых она определена, то есть 
минтермов и макстермов.
В качестве примера приведем минтермы и макстермы двух переменных X1 и X2 (табл. 3 и 4).
Таблица 3.
| Аргументы | Минтермы | ||||
| 
| 
| 
| 
| 
|
Таблица 4.
| Аргументы | Макстермы | ||||
|
| 
| 
| 
| 
|
Согласно приведенным определениям минтермы и макстермы двух аргументов выражаются формулами:
Запись переключательной функции в виде ДСНФ означает, что любая переключательная функция, заданная табличным способом, может быть представлена в виде логической суммы конъюнктивных членов. При этом каждый из этих членов представляет собой произведение значения функции на i-ом наборе на i-ый минтерм. Поскольку переключательная функция имеет 
минтермов, то аналитическая запись функции в ДСНФ имеет вид:
.
Таким образом, функция, заданная таблицей состояний (табл. 1.8), запишется аналитически следующим образом:
Термины сокращенного представления функции в виде ДСНФ в частности означают: термин «дизъюнкция» указывает на то, что внешней функцией разложения является дизъюнкция, а внутренней — конъюнкция.
Термин «совершенная» указывает на то, что дизъюнктивные члены формируются из всех аргументов X1 …Xn, то есть на основе минтермов.
Термин «нормальная» указывает на то, что форма записи является двухуровневой, то есть дизъюнкция конъюнкций.
Аналитическая запись функции в виде КСНФ означает, что переключательная функция, заданная табличным способом, может быть представлена в виде логического произведения (конъюнкцией) дизъюнктивных членов. При этом каждый из этих членов представляет собой сумму значений функции на i-ом наборе и i-ого макстерма.
Поскольку от n аргументов существует макстермов, то аналитическая запись функции в КСНФ имеет вид:
В итоге для рассматриваемого примера (табл. 1.8):
или
Сопоставляя две формы записи одной и той же переключательной функции легко убедиться, что запись функции в виде КСНФ более громоздкая, так как содержит большее число членов. Это объясняется тем, что число наборов, на которых переключательная функция равна 0, значительно больше числа наборов, на которых функция равна 1. Для случая, когда число наборов, на которых функция равна 0, было бы меньше числа наборов, на которых функция равна 1, более предпочтительным оказывается представление функции в виде КСНФ. Отсюда следует, что обе формы представления функций фактически эквивалентны. Однако при минимизации функций более удобной оказывается запись их в виде ДСНФ. Поэтому в дальнейшем будем рассматривать только такие формы.
ЛИТЕРАТУРА
1. Новиков Ю.В. Основы цифровой схемотехники. Базовые элементы и схемы. Методы проектирования. М.: Мир, 2001. - 379 с.
2. Новиков Ю.В., Скоробогатов П.К. Основы микропроцессорной техники. Курс лекций. М.: ИНТУИТ.РУ, 2003. - 440 с.
3. Пухальский Г.И., Новосельцева Т.Я. Цифровые устройства: Учеб. пособие для ВТУЗов. СПб.: Политехника, 2006. - 885 с.
4. Преснухин Л.Н., Воробьев Н.В., Шишкевич А.А. Расчет элементов цифровых устройств. М.: Высш. шк., 2001. - 526 с.
5. Букреев И.Н., Горячев В.И., Мансуров Б.М. Микроэлектронные схемы цифровых устройств. М.: Радио и связь, 2000. - 416 с.
6. Соломатин Н.М. Логические элементы ЭВМ. М.: Высш. шк., 2000. - 160 с.