Алгоритм построения дснф

1) Избавиться от всех логических операций, содержащихся в формуле, заменив их основными: конъюнкцией, дизъюнкцией, отрицанием. Это можно сделать, используя равносильные формулы:

2) Заменить знак отрицания, относящийся ко всему выражению, знаками отрицания, относящимися к отдельным переменным высказываниям на основании формул:

3) Избавиться от знаков двойного отрицания.

4) Применить, если нужно, к операциям конъюнкции и дизъюнкции свойства дистрибутивности и формулы поглощения.

4. Основные понятия в исчислении высказываний. Атомы, логические связки, формулы. Интерпретация

Высказывания - предложения естественного языка, в которых содержится информация о предмете, факте, явлении, событии или процессе, и которые могут быть оценены как истинные или ложные (напр. повествовательные предложения). Пример: “Колумб открыл Америку” – истина; “Киев – столица Узбекистана” - ложь. Иногда истинность/ложность высказывания зависит от контекста

Лог. связка, используемая при формировании ППФ, определяет исполнение лог. операции.
Отрицание Конъюнкция Дизъюнкция Импликация Эквиваленция

5.Представление производной ФАЛ в СКНФ. Правило построения СКНФ

Не нашли, что искали? Воспользуйтесь поиском: