Алгебраическая нормальная форма

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

Алгебраическая нормальная форма В булевой алгебре ANF, RSNF, NNF, Жегалкина и Рида-Мюллера – способы записи логических формул высказываний.  ANF – […]

Boolean algebra, Normal forms (logic), Булева алгебра, Нормальные формы (логика)

Алгебраическая нормальная форма

  • В булевой алгебре ANF, RSNF, NNF, Жегалкина и Рида-Мюллера – способы записи логических формул высказываний. 
  • ANF – каноническая форма, используется для автоматического доказательства теорем. 
  • ANF упрощает идентификацию линейных функций и свойств сдвиговых регистров с линейной обратной связью. 
  • Существуют простые способы выполнения стандартных логических операций над ANF. 
  • ANF может быть преобразована в алгебраическую нормальную форму путем выполнения логических операций с формулой. 
  • Рекурсивное получение многоаргументных логических функций возможно с использованием ANF. 

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

Алгебраическая нормальная форма — Википедия, бесплатная энциклопедия

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

  1. Нормальная школа Оглавление1 Обычная школа1.1 История и цели обычных школ1.2 Первые обычные школы1.3 Развитие и преобразование1.4 Современные тенденции1.5...
  2. Нормальная форма Смита Нормальная форма Смита Нормальная форма Смита – это нормальная форма матрицы, которая может быть определена для...
  3. Нормальная форма Фробениуса Оглавление1 Нормальная форма Фробениуса1.1 Определение и свойства нормальной формы Фробениуса1.2 Связь с другими формами1.3 Рациональная каноническая...
  4. Линейная алгебраическая группа – Arc.Ask3.Ru Оглавление1 Линейная алгебраическая группа1.1 Определение линейных алгебраических групп1.2 История и развитие теории1.3 Основные понятия и свойства1.4...
  5. Бета-нормальная форма Бета-нормальная форма В лямбда-исчислении термин имеет бета-нормальную форму, если невозможно бета-сокращение.  Термин имеет бета-эта нормальную форму,...
  6. Алгебраическая кривая Оглавление1 Алгебраическая кривая1.1 Аффинные и проективные алгебраические кривые1.2 Неприводимые и приводимые кривые1.3 Алгебраические кривые как многообразия1.4...
  7. Алгебраическая кривая Оглавление1 Алгебраическая кривая1.1 Аффинные и проективные алгебраические кривые1.2 Неприводимые и приводимые кривые1.3 Алгебраические кривые как многообразия1.4...
  8. Каноническая нормальная форма Каноническая нормальная форма В булевой алгебре логические функции могут быть выражены в канонической дизъюнктивной нормальной форме...
  9. Нормальная форма Джордана Нормальная форма Джордана Нормальная форма Жордана – верхняя треугольная матрица, представляющая линейный оператор в векторном пространстве. ...
  10. Нормальная форма Хауэлла Нормальная форма Хауэлла Нормальная форма Хауэлла – обобщение формы эшелонирования строк матрицы над ZN.  Интервалы строк...
  11. Нормальная форма отрицания Нормальная форма отрицания Формула имеет нормальную форму отрицания (NNF) в математической логике, если оператор отрицания применяется...
  12. Нормальная форма Фробениуса Нормальная форма Фробениуса Нормальная форма Фробениуса – каноническая форма для матриц, полученных путем сопряжения обратимыми матрицами...
  13. Нормальная форма пренекса Нормальная форма Prenex Формула исчисления предикатов в нормальной форме prenex (PNF) полезна для автоматизированного доказательства теорем. ...
  14. Сколемская нормальная форма Скольем нормальной формы Формула логики первого порядка находится в нормальной форме Сколема, если она в нормальной...
  15. Нормальная форма (динамические системы) Нормальная форма (динамические системы) Нормальная форма динамической системы – упрощенная форма, полезная для определения поведения системы. ...
  16. Нормальная форма Гессена Нормальная форма Гессе Нормальная форма Гессе – уравнение, описывающее прямую или плоскость в евклидовом пространстве.  Используется...
  17. Конъюнктивная нормальная форма Нормальная форма соединения Конъюнктивная нормальная форма (CNF) используется в логике первого порядка для упрощения сложных формул. ...
  18. Порядковая арифметика Оглавление1 Порядковая арифметика1.1 Основы теории порядков1.2 Порядковые числа и их свойства1.3 Нормальная форма Кантора1.4 Разложение на...
  19. Преобразование Фурье Оглавление1 Преобразование Фурье1.1 Преобразование Фурье1.2 История и применение1.3 Определение и свойства1.4 Интегрируемые функции Лебега1.5 Унитарность и...
  20. Обычная форма отшельника Нормальная форма Эрмита Нормальная форма Эрмита – аналог приведенной эшелонированной формы для матриц над целыми числами. ...
  21. Шестая нормальная форма Оглавление1 Шестая нормальная форма1.1 Определение и использование шестой нормальной формы1.2 Примеры и использование1.3 Библиография и дальнейшее...
  22. Дизъюнктивная нормальная форма Дизъюнктивная нормальная форма DNF (дизъюнктивная нормальная форма) – представление формулы в виде дизъюнкции конъюнкций.  Формула может...

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

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