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

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

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

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

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

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

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

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

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

  1. Нормальная форма Смита Нормальная форма Смита Нормальная форма Смита — это нормальная форма матрицы, которая может быть определена для...
  2. Нормальная форма Фробениуса Нормальная форма Фробениуса Определение и свойства нормальной формы Фробениуса Нормальная форма Фробениуса — это форма матрицы,...
  3. Бета-нормальная форма Бета-нормальная форма В лямбда-исчислении термин имеет бета-нормальную форму, если невозможно бета-сокращение.  Термин имеет бета-эта нормальную форму,...
  4. Нормальная форма Джордана Нормальная форма Джордана Нормальная форма Жордана — верхняя треугольная матрица, представляющая линейный оператор в векторном пространстве. ...
  5. Каноническая нормальная форма Каноническая нормальная форма В булевой алгебре логические функции могут быть выражены в канонической дизъюнктивной нормальной форме...
  6. Нормальная форма Хауэлла Нормальная форма Хауэлла Нормальная форма Хауэлла — обобщение формы эшелонирования строк матрицы над ZN.  Интервалы строк...
  7. Нормальная форма Фробениуса Нормальная форма Фробениуса Нормальная форма Фробениуса — каноническая форма для матриц, полученных путем сопряжения обратимыми матрицами...
  8. Нормальная форма отрицания Нормальная форма отрицания Формула имеет нормальную форму отрицания (NNF) в математической логике, если оператор отрицания применяется...
  9. Нормальная форма пренекса Нормальная форма Prenex Формула исчисления предикатов в нормальной форме prenex (PNF) полезна для автоматизированного доказательства теорем. ...
  10. Сколемская нормальная форма Скольем нормальной формы Формула логики первого порядка находится в нормальной форме Сколема, если она в нормальной...
  11. Нормальная форма Гессена Нормальная форма Гессе Нормальная форма Гессе — уравнение, описывающее прямую или плоскость в евклидовом пространстве.  Используется...
  12. Нормальная форма (динамические системы) Нормальная форма (динамические системы) Нормальная форма динамической системы — упрощенная форма, полезная для определения поведения системы. ...
  13. Конъюнктивная нормальная форма Нормальная форма соединения Конъюнктивная нормальная форма (CNF) используется в логике первого порядка для упрощения сложных формул. ...
  14. Порядковая арифметика Порядковая арифметика Основы теории порядков Порядки — это математические объекты, которые упорядочивают множество чисел.  Порядки могут...
  15. Обычная форма отшельника Нормальная форма Эрмита Нормальная форма Эрмита — аналог приведенной эшелонированной формы для матриц над целыми числами. ...
  16. Дизъюнктивная нормальная форма Дизъюнктивная нормальная форма DNF (дизъюнктивная нормальная форма) — представление формулы в виде дизъюнкции конъюнкций.  Формула может...
  17. Исполнение (вычисления) Выполнение (вычисление) Процесс выполнения программы Выполнение программы включает в себя интерпретацию инструкций и действия в соответствии...

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

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