вход Вход Регистрация



 

- называется термом.

Дизъюнктивный терм (макстерм) – это, связывающий все переменные знаком дизъюнкций (“конституэнта 0”).

Пример:

Конъюнктивный терм (минтерм) - это терм, связывающий все переменные знаком конъюнкции (“конституэнта 1”).

Ранг терма определяется количеством переменных, входящих в заданный терм.

Любая ФАЛ может быть представлена дизъюнкцией минтермов.

– нормальная дизъюнктивная форма (НДФ) – объединение минтермов переменного ранга. В этой форме вместо дизъюнкции может использоваться .

Любая ФАЛ может быть представлена конъюнкцией макстермов

, где k – количество двоичных наборов, для которых. Такое представление называется НКФ, знак конъюнкции может быть заменен .

 

© 2018
  • Сайт "Литературка"
  • мы собираем различную техническую, образовательную, научную литратуру