Каноническая форма Блейка
- Формула для булевой функции f в канонической форме Блейка (BCF) является частным случаем дизъюнктивной нормальной формы.
- Каноническая форма Блейка не всегда является минимальной, но содержит все члены минимальной суммы.
- Выбор минимальной суммы из канонической формы Блейка является NP-сложной задачей.
- Арчи Блейк представил свою каноническую форму в 1932 году и назвал ее «упрощенной канонической формой».
- Блейк обсудил три метода вычисления канонической формы: исчерпание импликантов, итерационный консенсус и умножение.
- В 2022 году был найден почти оптимальный алгоритм для вычисления канонической формы формулы Блейка в конъюнктивной нормальной форме.
Полный текст статьи: