Математическая логика
Преобразуем эту формулу, используя соответствующие эквивалентности
жүктеу/скачать 0.93 Mb.
|
Преобразуем эту формулу, используя соответствующие эквивалентностиU Изобразим схему, соответствующую заключительной формуле B
A 4. Нормальные формы Данный параграф посвящен решению проблемы выполнимости и опровержимости формул. Для этого используются нормальные формы, определим их. Элементарной конъюнкцией называется конъюнкция, в которой участвуют высказывательные переменные или их отрицания. Элементарной дизъюнкцией называется дизъюнкция, в которой участвуют высказывательные переменные или их отрицания. Дизьюнктивной нормальной формой называется формула, имеющая вид дизъюнкции элементарных конъюнкций. Коньюнктивной нормальной формой называется формула, имеющая вид конъюнкции элементарных дизъюнкций. Теорема 4.1. Для всякой формулы U существуют эквивалентные ей КН-форма и ДН-форма. ДНФ и КНФ не единственны. Существуют формулы, к которым можно привести любую логическую формулу, но единственным образом с точностью до порядка элементарных дизъюнкций или конъюнкций и элементов в них. Такими формулами являются совершенные нормальные формы. Совершенной дизъюнктивной нормальной формой (СДНФ) называется ДНФ в каждой конъюнкции которой содержатся точно одно вхождение всех переменных или их отрицаний. Такие конъюнкции называются полными. Совершенной конъюнктивной нормальной формой (СКНФ) называется КНФ в каждой дизъюнкции которой содержатся точно одно вхождение всех переменных или их отрицаний. Такие дизъюнкции называются полными. Теорема 4.2. 1) Всякая элементарная дизъюнкция высказывательных переменных , не являющаяся ТИ-формулой, эквивалентна некоторой СКН-форме от этих высказывательных переменных. 2) Всякая элементарная конъюнкция высказывательных переменных , не являющаяся ТЛ-формулой, эквивалентна некоторой СДН-форме от этих высказывательных переменных. Следствие. Для всякой формулы, образованных из высказывательных переменных не являющейся тождественно истинной и тождественно ложной, существуют эквивалентные им СКН-форма и СДН-форма . Алгоритм построения совершенных нормальных форм. Преобразовать формулу к приведенному виду (см. п.3). Если полученная формула не является нормальной, то преобразовать ее к требуемой нормальной форме (если она существует) с помощью свойства взаимной дистрибутивности операций конъюнкции и дизъюнкции. Если нормальная форма не является совершенной, то расщепить конъюнкции (дизъюнкции), которые содержат не все переменные, по свойству 13. Задание. Построить совершенные нормальные формы формулы . Решение. Преобразуем формулу к приведенному виду и затем упростим ее. ( ) ( ) ( ) ( ) ( ) ( ) Полученная формула является КН- и ДН-формой, однако обе формы не являются совершенными. Приведем ее к совершенному виду. ( ) ( ) – СКН-форма. ( ) ( ) ) – СДН-форма. жүктеу/скачать 0.93 Mb. Достарыңызбен бөлісу:
|