Пример: СДНФ для ПФ мажоритарного элемента (рис.1,а)
y= m3
m5m6m7 
(1)
Совершенная конъюнктивная нормальная форма (СКНФ) представляет собой конъюнкцию макстермов.
Макстерм (максимальный терм, конституента нуля) есть логическая сумма всех переменных ПФ для наборов, на которых ПФ принимает значение 0. Если в наборе переменная равна 1, то в макстерм эта переменная входит с инверсией, если равна 0 - то без инверсии. Например, если на наборе x2 = 0, x1 = 0, x0 =1 ПФ принимает значение 0, то соответствующий макстерм M1 для первого набора будет иметь вид 
.
Пример: СКНФ для ПФ мажоритарного элемента (рис.1,а)
y =M0M1M2M4 =(
)(
)(
)(
).(2)
Минтермы (макстермы) называются соседними, если они отличаются формой представления только одной переменной (без инверсии, с инверсией). В примере (1) минтерм m7 является соседним по отношению ко всем остальным (m3, m5, m6). В примере (2) макстерм М0 является соседним по отношению ко всем остальным (М1,М2,М4).Признак соседства минтермов (макстермов) используется при применении закона склеивания (при минимизации ПФ с применением карт Карно).
Определение “совершенная форма” означает, что все минтермы или макстермы имеют одинаковую размерность (ранг), равную числу переменных n, от которых зависит ПФ.
Определение “нормальная форма” означает, что порядок логического уравнения не более двух. Порядок логического уравнения – количество последовательно выполняемых базовых операций алгебры логики при вычислении значения функции (операция инверсии в расчет не принимается). При реализации логических схем порядок ПФ определяет число каскадов логического преобразования входных переменных, необходимых для получения функции.
Можно привести и более простые алгебраические выражения для ПФ мажоритарного элемента (рис.1,а):
(3)
y = (
)(
)(
)(4)
Способ их получения рассмотрен ниже. Перейти на страницу: 1 2
Советуем почитать:
Структура и использование микроконтроллеров Область применения микроконтроллеров - это различные контроллеры устройств автоматики, пластиковые карты, контроллеры периферийных устройств. Развитие микроэлектроники и её широкое пр ...
Усилительный каскад с общим эмиттером Полупроводниковые электронные устройства делятся на два больших класса: аналоговые и цифровые (дискретные). В основе классификации лежит возможность изменения в устройстве электрического ...
Идентификация технологических объектов управления Объективные закономерности, присущие процессам переработки информации, обусловливают аналогию функциональных структур человека-оператора и управляющего устройства любого типа. Эта аналог ...