Конъюнктивная нормальная форма

Cтраница 4

В § 6 выводятся точные и асимптотические формулы для числа бесповторных конъюнктивных нормальных форм и для мощности класса булевых функций, для которых сложность решения соответствующих систем уравнений является полиномиальной. [46]

Программа, управляемая образцами, для автоматического доказательства теорем. [47]

Остается еще один вопрос: как преобразовать заданную пропозициональную формулу в конъюнктивную нормальную форму. [48]

Нам известно, что произвольную формулу логики высказываний можно привести к конъюнктивной нормальной форме ( КНФ), эквивалентной исходному высказыванию. КНФ - это по сути конъюнкция дизъюнкций литералов, причем в каждой дизъюнкции никакой литерал не встречается более одного раза. [49]

Формула Y называется конъюнктивной нормальной формой формулы а, если у находится в конъюнктивной нормальной форме и обе импликации ( а у) и ( уФа) являются пропозициональными тавтологиями. [50]

Заметим, что для каждой формулы 91 существует не одна дизъюнктивная и не одна конъюнктивная нормальная форма. [51]

Существует единый конструктивный метод, позволяющий для любого выражения булевой алгебры найти равные ему дизъюнктивную и конъюнктивную нормальную форму. [52]

Приводим все посылки и отрицание заключения, принятого в качестве дополнительной посылки, к конъюнктивной нормальной форме. [53]

Страницы: 1 2 3 4