Каноническая нормальная форма
- В булевой алгебре логические функции могут быть выражены в канонической дизъюнктивной нормальной форме (CDNF), minterm или сумме произведений (SoP).
- Дуал Де Моргана – это каноническая конъюнктивная нормальная форма (CCNF), maxterm или произведение сумм (PoS).
- Канонические формы включают полную сумму простых импликант, каноническую форму Блейка и алгебраическую нормальную форму.
- Минимальные сроки – это термины продукта, в которых каждая переменная отображается ровно один раз.
- Максимальные значения – это суммарные термины, в которых каждая переменная появляется ровно один раз.
- Каноническая форма minterm – это особая форма дизъюнктивной нормальной формы, которая может быть записана как “сумма произведений” или “сумма минимумов”.
- Каноническая форма maxterm – это особая форма конъюнктивной нормальной формы, которая может быть записана как “произведение сумм” или “произведение максимальных значений”.
- Минимальные формы PoS и SoP могут быть эквивалентны уменьшенной форме SoP, которая содержит меньше терминов продукта и/или терминов продукта с меньшим количеством переменных.
- Канонические и неканонические последствия использования врат NOR могут быть рассмотрены в дополнение к каноническим формам.
- Конструктивные компромиссы, рассматриваемые в дополнение к каноническим формам, могут включать использование дополнительных элементов NOR для обработки всех комбинаций входных переменных.
Полный текст статьи: