Читайте также:
|
|
Пусть f(x1,x2,…, xn) Рn - булева функция. Тогда функция f*(x1,x2,…, xn) определенная следующим образом: э называется двойственной к функции f(x1,x2,…, xn). Из определения видно, что двойственность инволютивна: f** =f. Пример Двойственные функции: Вставить Функция называется самодвойственной, если f* =f. Пример Тождественная функция и отрицание самодвойственны, а дизъюнкция и конъюнкция — нет. Принцип двойственности. Если то Таким образом, функция, двойственная суперпозиции функций, есть соответствующая суперпозиция двойственных функций. Принцип двойственности удобен при нахождении двойственных функций, представленных формулами, содержащими лишь конъюнкции, дизъюнкции и отрицания. В этом случае в исходной формуле конъюнкции заменяются на дизъюнкции, а дизъюнкции — на конъюнкции. В следующем параграфе будут рассмотрены особые функции так. |
Дата добавления: 2015-07-11; просмотров: 124 | Нарушение авторских прав
<== предыдущая страница | | | следующая страница ==> |
Представление функций формулами. Равносильные формулы. | | | Дизъюнктивные и конъюнктивные нормальные формы. |