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