Каноническая форма Блейка

От / / Оставьте комментарий

Каноническая форма Блейка Формула для булевой функции f в канонической форме Блейка (BCF) является частным случаем дизъюнктивной нормальной формы.  Каноническая […]

Normal forms (logic), Нормальные формы (логика)

Каноническая форма Блейка

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

Полный текст статьи:

Каноническая форма Блейка — Википедия

Похожие статьи:

  1. Каноническая нормальная форма Каноническая нормальная форма В булевой алгебре логические функции могут быть выражены в канонической дизъюнктивной нормальной форме...
  2. Нормальная форма Фробениуса Оглавление1 Нормальная форма Фробениуса1.1 Определение и свойства нормальной формы Фробениуса1.2 Связь с другими формами1.3 Рациональная каноническая...
  3. Уильям Фиппс Блейк Оглавление1 Уильям Фиппс Блейк1.1 Ранние годы и образование1.2 Карьера в геологии1.3 Научные открытия и конфликты1.4 Экспертиза...
  4. Каноническая форма Вейра Каноническая форма вейра Каноническая форма Вейра – квадратная матрица, индуцирующая “приятные” свойства у матриц, с которыми...
  5. Транзитный центр Блейка Оглавление1 Транзитный центр Блейка1.1 Транзитный центр Блейка1.2 Услуги и маршруты1.3 История и переименование1.4 Новое здание1.5 Планы...
  6. Уильям Блейк Уильям Блейк Уильям Блейк – английский поэт, художник и мистик, известный своими работами, включая “Иерусалим”.  Блейк...
  7. Жалость (Уильям Блейк) Оглавление1 Жалость (Уильям Блейк)1.1 Описание гравюры “Жалость” Уильяма Блейка1.2 Интерпретации и влияние1.3 Критика и мифология1.4 Версии...
  8. Ньютон (Блейк) Ньютон (Блейк) “Ньютон” – монотипия английского поэта, художника и гравера Уильяма Блейка, выполненная в 1795 и...
  9. Компьютерная алгебра Оглавление1 Компьютерная алгебра1.1 Определение и терминология1.2 Программное обеспечение и научное сообщество1.3 Представление данных и числа1.4 Выражения...
  10. Каноническая форма Каноническая форма Нормальная форма – это форма выражения, которая может быть получена из других форм с...
  11. Каноническая основа Каноническая основа Статья представляет собой введение в каноническую форму матриц и ее применение к матрицам с...
  12. Ветхий днями Древнейший из дней “Ветхий днями” – рисунок Уильяма Блейка, опубликованный в книге “Европа как пророчество” в...
  13. Эллиптическое уравнение в частных производных Оглавление1 Эллиптическое дифференциальное уравнение в частных производных1.1 Классификация PDE1.2 Каноническая форма эллиптических уравнений1.3 Качественное поведение решений1.4...
  14. Школа Блейка (Миннеаполис) Оглавление1 Школа Блейка (Миннеаполис)1.1 История школы Блейка1.2 Кампусы и кампусы1.3 Академические достижения1.4 Сохранение традиций1.5 Академические программы1.6...
  15. Нормальная форма Фробениуса Нормальная форма Фробениуса Нормальная форма Фробениуса – каноническая форма для матриц, полученных путем сопряжения обратимыми матрицами...
  16. Нормальная форма Смита Нормальная форма Смита Нормальная форма Смита – это нормальная форма матрицы, которая может быть определена для...
  17. Каноническая карта Каноническая карта Каноническая карта в математике – отображение или морфизм, возникающий естественным образом из определения или...
  18. Каноническая корреляция Каноническая корреляция Каноническая корреляция – статистический метод для определения связи между двумя наборами переменных.  Метод основан...
  19. Тавтологическая одна форма Тавтологическая однозначная форма Тавтологическая единичная форма – специальная форма на кокасательном расслоении T∗Q из многообразия Q. ...
  20. Сколемская нормальная форма Скольем нормальной формы Формула логики первого порядка находится в нормальной форме Сколема, если она в нормальной...
  21. Обычная форма отшельника Нормальная форма Эрмита Нормальная форма Эрмита – аналог приведенной эшелонированной формы для матриц над целыми числами. ...
  22. Фрэнсис Блейк (изобретатель) Оглавление1 Фрэнсис Блейк (изобретатель)1.1 Биография Фрэнсиса Блейка1.2 Карьера и изобретения1.3 Личная жизнь1.4 Патенты и рекомендации2 Фрэнсис...

Оставьте комментарий

Прокрутить вверх