Добавил:
Опубликованный материал нарушает ваши авторские права? Сообщите нам.
Вуз: Предмет: Файл:
Лекции по дискретной математике1.doc
Скачиваний:
418
Добавлен:
02.05.2014
Размер:
2.61 Mб
Скачать

Формулы математической логики.

Формулой математической логики называется сложное высказывание, которое получено из элементарных высказываний с использованием логических операций.

Две формулы равносильны, если они принимают одинаковые логические значения на любом наборе значений входящих в формулу элементарных высказываний. Равносильность формул обозначается  A  B.

Формулы равносильности.

  1. Коммутативность

АVВ  ВVА А&В  В&А

  1. Ассоциативность

АV(ВVС)  (АVВ)VС А&(В&С)  (А&В) &С

  1. Дистрибутивность

АV(В&С)  (АVВ)&(АVС) А&(ВVС)  (А&В)V(А&С)

  1. Идемпотентность

АVА  А А&А  А

  1. Поглощение

АV(А&В)  А А&(АVВ)  А

  1. Закон де Моргана

&V

  1. Закон исключающий третьего

АV1  1 А&1  A

  1. Закон противоречия

AV  A A&  

  1. Закон двойного отрицания

A

  1. 1 ,  0

  2. AB VB

  3. AB  (AB)&(BA)

  4. AB  A&V&B

  5. A | B  V

  6. AB  &

ПРИМЕР

Доказать:

Представление произвольной функции алгебры логики в виде формулы алгебры логики

Пусть - произвольная функция алгебры логикипеременных.

Рассмотрим формулу

(2.1)

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

Вместе с тем формула (2.1) содержит в виде логических слагаемых всевозможные конъюнкции указанного вида.

Ясно, что формула (2.1)полностью определяет функцию . Иначе говоря, значения функциии формулы (2.1) совпадают на всех наборах значений переменных. То есть функция

Составление формул по таблице истинности. может быть представлена в виде:

(2.2)

ПРИМЕР Пусть функция имеет следующую таблицу истинности:

0

0

0

1

0

0

1

0

0

1

0

0

0

1

1

1

1

0

0

0

1

0

1

1

1

1

0

1

1

1

1

0

Тогда функция может быть определена в следующем виде:

Нетрудно заметить, что для определении функции берутся только те наборы переменных , при которых функция принимает значения 1, что значительно упрощает процедуру определения функции.

Формула (2.1) обладает свойствами:

  1. Каждое логическое слагаемое формулы содержит все переменные , входящие в функцию .

  2. Все логические слагаемые формулы различны.

  3. Ни одно логическое слагаемое формулы не содержит одновременно переменную и ее отрицание.

  4. Ни одно логическое слагаемое формулы не содержит одну и ту же переменную дважды.

  5. Перечисленные свойства называются свойствами совершенства.

Различные формы представления высказываний

Литерой  называется элемент высказывания x или её отрицание.

Элементарной дизъюнкцией называется выражение следующего вида:

, (2.2)

где  литера.

Элементарной конъюнкцией называется выражение следующего вида:

, (2.3)

Дизъюнктивной нормальной формой (ДНФ) формулы называется выражение вида:

, (2.4)

где  элементарная конъюнкция.

Конъюнктивной нормальной формой (КНФ) формулы называется выражение вида:

, (2.5)

где  элементарная дизъюнкция.

Любую формулу можно представить в виде ДНФ или КНФ.

ПРИМЕР

Пусть дана формула

Требуется получить ДНФ и КНФ данной формулы.

Применяя формулы равносильности, получаем КНФ :

Применяя формулы равносильности, получаем ДНФ :

Совершенной дизъюнктивной нормальной формой (СДНФ) формулы называется такая ДНФ, для которой выполняются следующие условия:

  1. Все элементарные конъюнкции, входящие в ДНФ , различны.

  2. Все элементарные конъюнкции, входящие в ДНФ , содержат литеры, соответствующие всем переменным.

  3. Каждая элементарная конъюнкция, входящая в ДНФ , не содержит двух одинаковых литер.

  4. Каждая элементарная конъюнкция, входящая в ДНФ , не содержит переменную и ее отрицание.

СДНФ можно получить двумя способами:

  1. по таблице истинности;

  2. с помощью равносильных преобразований.

Первый способ получения СДНФ рассмотрен выше. Рассмотрим второй способ, который состоит в следующем:

С помощью равносильных преобразований формулы получают ДНФ . При этом в полученной ДНФ возможны следующие ситуации:

  1. Элементарная конъюнкция ДНФ не содержит переменную , тогда используются следующие равносильные преобразования:

  1. Если в ДНФ входят две одинаковые элементарные конъюнкции, то используя следующее равносильное преобразование:

,

одну элементарную конъюнкцию можно отбросить.

  1. Если элементарная конъюнкция ДНФ содержит одновременно переменную и ее отрицание, то используя следующие равносильные преобразования:

,

эту элементарную конъюнкцию можно отбросить

  1. Если элементарная конъюнкция ДНФ содержит дважды переменную , то используя следующее равносильное преобразование:

,

одну переменную можно отбросить

СДНФ формулы существует в единственном виде.

ПРИМЕР

Получить СДНФ формулы

С помощью равносильных преобразований получаем СДНФ :

С помощью таблицы истинности получаем СДНФ :

0

0

0

1

0

1

0

0

1

0

0

1

0

1

0

1

1

1

0

1

1

0

0

1

1

0

0

1

0

0

1

0

1

0

0

0

1

1

0

1

1

1

1

1

1

0

0

0

СДНФ

Очевидно, что в результат двух способов совпадает.

Совершенной конъюнктивной нормальной формой (СКНФ) формулы называется такая КНФ, для которой выполняются следующие условия:

  1. Все элементарные дизъюнкции, входящие в КНФ , различны.

  2. Все элементарные дизъюнкции, входящие в КНФ , содержат литеры, соответствующие всем переменным.

  3. Каждая элементарная дизъюнкция, входящая в КНФ , не содержит двух одинаковых литер.

  4. Каждая элементарная дизъюнкция, входящая в КНФ , не содержит переменную и ее отрицание.

СКНФ можно получить двумя способами:

  1. по таблице истинности;

  2. с помощью равносильных преобразований.

По первому способу по таблице истинности получаем СДНФ , а СКНФ можно получить, следуя следующему правилу

С помощью равносильных преобразований формулы получают КНФ . При этом в полученной КНФ возможны следующие ситуации:

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

  1. Если в КНФ входят две одинаковые элементарные дизъюнкции, то используя следующее равносильное преобразование:

,

одну элементарную дизъюнкцию можно отбросить.

  1. Если элементарная дизъюнкция КНФ содержит одновременно переменную и ее отрицание, то используя следующие равносильные преобразования:

,

эту элементарную дизъюнкцию можно отбросить.

  1. Если элементарная дизъюнкция КНФ содержит дважды переменную , то используя следующее равносильное преобразование:

,

одну переменную можно отбросить.

СКНФ формулы существует в единственном виде.

ПРИМЕР

Получить СКНФ формулы

С помощью равносильных преобразований получаем СКНФ :

С помощью таблицы истинности получаем СДНФ :

0

0

0

1

0

1

0

0

0

1

0

0

1

0

0

1

0

1

1

1

0

0

1

1

0

0

1

0

1

0

0

1

0

0

1

1

0

1

0

0

0

1

1

1

0

1

1

1

0

1

1

1

0

0

0

1

СДНФ

Очевидно, что в результат двух способов совпадает.

СДНФ формулы можно получить из СКНФ, используя следующее правило: