Главная страница

Курсовая Елфимов МЛ. Курсовой проект по дисциплине Математическая логика и теория алгоритмов Тема Практические задачи математической логики и теории алгоритмов


Скачать 369.02 Kb.
НазваниеКурсовой проект по дисциплине Математическая логика и теория алгоритмов Тема Практические задачи математической логики и теории алгоритмов
Дата03.06.2021
Размер369.02 Kb.
Формат файлаdocx
Имя файлаКурсовая Елфимов МЛ.docx
ТипКурсовой проект
#213505
страница3 из 7
1   2   3   4   5   6   7

1.2 Дизъюнктивная нормальная форма и конъюнктивная нормальная форма



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

  • если ДНФ является трехчленом, зависящим от трех переменных, и если симметрия нарушена только по одной из переменных, то устраняется тот член дизъюнкции, который эту переменную не содержит;

  • если ДНФ является трехчленом, зависящим от трех переменных и если симметрия нарушена по двум из этих переменных, то данная ДНФ равносильна дизъюнкции, одним из членов которой является переменная, по которой симметрия не нарушена, а вторым членом служит тот член первоначальной ДНФ, который эту переменную не содержит.

Также существует совершенная ДНФ (СДНФ), она должна удовлетворять следующим условиям:

  • все элементарные конъюнкции различны;

  • нет нулевых конъюнкций;

  • ни одна из элементарных конъюнкций не содержит одинаковых членов;

  • каждая элементарная конъюнкция содержит все переменные.

Для получения СДНФ необходимо сначала найти минимальную ДНФ, а затем путем ввода дополнительных множителей добиться выполнения условия 4.

Элементарной дизъюнкцией называется дизъюнкция, состоящая только из переменных или их отрицаний.

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

  • если КНФ зависит от трех переменных и представляет конъюнкцию трех элементарных дизъюнкций и если симметрия нарушена по одной из переменных, то поглощается та элементарная дизъюнкция, которая эту переменную не содержит;

  • если КНФ зависит от трех переменных и представляет собой конъюнкцию трех элементарных дизъюнкций и если симметрия нарушена по двум из этих переменных, то данная КНФ равносильна конъюнкции, одним из членов которой является переменная, по которой симметрия не нарушена, а вторым членом является тот член первоначальной КНФ, который эту переменную не содержит.

Практические задание №2













=

=

= - ДНФ

= - КНФ
2 Перевод высказываний естественного языка на язык алгебры логики
Язык алгебры логики может быть использован при решении большого числа содержательных логических задач. Решение таких задач с помощью логических рассуждений достаточно трудно. Если же применить аппарат алгебры логики к решению таких задач, то все рассуждения могут быть заменены на простые формализованные вычисления, гарантирующие правильность ответа.

Но прежде чем применить формализованный подход, исходные рассуждения надо нужно правильно перевести на язык алгебры логики [2]. Для решения данной задачи может быть использована таблица соотношений между наиболее часто встречающимися выражениями естественного языка и формулами алгебры логики (таблица 3).

Таблица 3 – Таблица соотношений

Форма выражения естественного языка

Форма языка алгебра логики

Не A; неверно, что A; A не имеет места.



A и B; как A, так и B; не только A, но и B; A вместе с B; A, несмотря на B; A в то время, как B.



А, но не В ; не В, а А.



А или В; А или В, или оба.



А, либо В; А, разве, что В; либо А, либо В; не А, разве, что не В; либо не А, либо не В; А или В, но не оба.



Либо А, либо В и С; А, разве что В и С.



Либо А и В, либо С и D.



Если А, то В; В, если А; А, только, если В; А, только тогда, когда В; А достаточно для В; A, только при условии, что В; В необходимо для А; А, значит В; для В достаточно А;



Продолжение таблицы 3

Форма выражения естественного языка

Форма языка алгебра логики

А влечет В; для А необходимо В; все А есть В; из А следует В; В, тогда, когда А.




А эквивалентно В; А, если и только если В; А, тогда и только тогда, когда В; А необходимо и достаточно для В.




При переводе высказываний естественного языка на язык алгебры логики нужно выделить сначала элементарные высказывания и обозначить их символами так, чтобы по этим обозначениям можно было восстановить полный текст составного высказывания. Нужно стремиться к введению минимального количества элементарных высказываний, пытаясь выражать одни элементарные высказывания через другие.

Практическое задание №3
Перевести высказывание естественного языка на язык исчисления высказываний

Мать попросила сына купить цветы: либо гвоздики, либо розы; либо бордовые, либо красные; либо светлые, либо темные. Кроме того, должны быть выполнены следующие условия:

- чтобы цветок был красным или гвоздикой, достаточно, чтобы он был темным.

- цветок может быть бордовым, если он светлый

- цветок может быть розой, если только он светлый и красный.

Сначала выведем элементарные высказывания:

А - Гвоздики

- Розы

В - Бордовые

- Красные

С - Светлые

– Темные

Условия на языке алгебры логики будут представлены так:

Чтобы цветок был красным или гвоздикой, достаточно, чтобы он был темным.



Цветок может быть бордовым, если он светлый.



Цветок может быть розой, если только он светлый и красный.



Для того чтобы узнать, что заказала мать, мы должны перемножить все получившиеся условия и после найти СДНФ:

Перемножаем условия и сокращаем выражения:













Теперь составим таблицу истинности и найдем СДНФ:

Таблица 4 – Таблица истинности

A

B

C



Минтермы

0

0

0

0




0

0

1

0




0

1

0

0




0

1

1

0




1

0

0

1



1

0

1

0




1

1

0

1



1

1

1

1



СДНФ =

Получается, заказ матери состоял из: темных красных гвоздик, темных бордовых гвоздик и светлых бордовых гвоздик.

Теперь узнаем, что купил сын, решив следующее выражение:













Получается, что сын купил: темные бордовые розы.

1   2   3   4   5   6   7


написать администратору сайта