Добавил:
Upload Опубликованный материал нарушает ваши авторские права? Сообщите нам.
Вуз: Предмет: Файл:

Lektsia_po_Diskr

.pdf
Скачиваний:
41
Добавлен:
11.03.2015
Размер:
1.15 Mб
Скачать

13

n

n

 

n

 

An

m!

С m

Pn = А m

, отсюда

С m

=

m

=

 

 

(m n)!n!

 

 

 

 

 

Pn

Пример:

В группе 20 студентов. Требуется выбрать 5 делегатов на конференцию. Сколькими способами это можно сделать?

Решение:

Так как внутри каждой пятерки делегатов перестановки дают одну и ту же пятерку, то каждая пятерка должна отличаться от других хотя бы одним делегатом. В данном случае мы должны посчитать число сочетаний из 20 по 5:

5 20!

С20 = 15! 5! = 15504.

 

 

 

 

 

 

 

 

3.3.1. Свойства сочетаний

1)

С n

 

= С m n

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

 

 

m

 

m .

 

 

2)

С

0

=

0!

 

1, т.к. по определению 0! = 1.

0

 

 

 

 

 

 

 

(0 0)!0!

3)

С

0

=

1!

= 1, т.к. по определению 1! = 1.

1

1!0!

4) С kn = С kn 11 + С kn 1 .

Доказательство:

 

k 1

 

 

k

 

 

 

 

 

(n 1)!

 

 

 

 

(n 1)!

(n 1)! k (n 1)!(n k)

 

(n 1)! (k n k)

 

С n 1

+ С n 1

=

 

 

 

 

+

 

=

 

=

 

=

(k 1)!(n 1 (k 1))!

k!(n 1 k)!

 

 

k!(n k)!

k!(n k)!

 

(n 1)! n

=

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

k!(n k)!

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

=

 

 

n!

 

 

 

 

= С nk .

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

k!(n k)!

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Что и требовалось доказать.

 

 

 

 

 

 

 

 

 

 

 

5)

С k

= С k 1

 

(n k 1)

.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

n

 

 

 

 

 

n

 

k

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Доказательство:

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Сnk

=

n!(k 1)!(n (k 1))!

(n k 1)

, следовательно,

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

=

 

 

 

 

 

 

 

 

 

 

Cnк 1

 

 

k!(n k)!n!

 

 

 

k

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

С nk = С nk 1

(n k 1)

.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

k

 

 

 

 

 

 

 

 

 

 

 

Что и требовалось доказать.

3.4. Размещения с повторениями

До сих пор мы рассматривали комбинации элементов, которые в каждой комбинации не повторялись. Рассмотрим размещения из m элементов по n, в которых каждый элемент может повторяться. Такие размещения

называются размещениями с повторениями: Ấ nm .

Рассмотрим задачу.

В лифт 9-этажного дома на 1-ом этаже вошло 10 человек, каждый из которых может выйти на любом этаже, начиная со второго. Сколькими способами они могут выйти из лифта?

Решение:

Каждый из пассажиров может выйти 8 способами. Два пассажира могут выйти 82 = 8·8 = 8 2 = 64. Десять

человек

могут

выйти

810 = 810 .

Таким образом, так как каждый элемент попадает в комбинацию m способами, a комбинаций n, то

nm = mn .

14

3.4.1. Число подмножеств данного множества

Пусть имеется М = { a1, a2, …, an }. Пустое множество ( ) входит в это множество как подмножество. Одноэлементные множества тоже входят в это множество как подмножества.

Поставим каждому подмножеству кортеж длиной n, состоящий из 0 и 1. Будем ставить 0, если соответствующий элемент не входит в подмножество, и 1, если входит.

Например, подмножеству {a2, a4} будет соответствовать кортеж 010100000….0.

Для всех подмножеств получим кортежи (0,0,0, …,0), (1,0,0,…0), (0,1,0,0,...,0)… (1,1,1,…1).

Кортежей столько, сколько подмножеств. Каждый кортеж − это размещения, состоящие из двух элементов (0 и 1) и отличающиеся друг от друга либо элементами, либо их порядком. Это размещения с повторениями из двух по n:

Получим

n2 = 2n .

Таким образом, мы доказали теорему:

Число подмножеств n-элементного множества равно 2n .

Следствие:

Т.к. число пустых подмножеств С 0n = 1, одноэлементных – С 1n = n, двухэлементных – С 2n , трехэлементных

n

С 3n , и т.д., n-элементных − С nn , то сумма С kn = 2n .

k0

3.5.Перестановки с повторениями

Пусть мы имеем n элементов a1, a2,…, an , Pn = n!. Пусть элемент a1 повторяется k1 раз, элемент a2 k2 раз,….,

n

an kn раз, где ki n . Тогда число различных перестановок будет в k1! меньше за счет одинаковых элементов

i 1

a1, в k2! раз меньше за счет одинаковых элементов a2,…и в kn! раз меньше за счет одинаковых элементов aп. Тогда число различных перестановок будет равно:

 

n!

Pn ( k1, k2,…, kn )=

 

.

 

 

k1! k2! ... kn!

Пример:

Сколько различных перестановок можно составить из слова МОЛОТОК?

Решение:

k1 (М)=1; k2 (О)=3; k3 (Л)=1; k5(Т)=1; k7(К)=1; получим:

P7 (1, 3, 1, 1, 1)=

7!

= 840.

 

 

1! 3! 1! 1! 1!

3.6. Сочетания с повторениями

Пример:

На почте имеются открытки четырех видов: красные, желтые, зеленые и синие. Требуется 10 открыток. Сколькими способами можно их скомбинировать?

Решение:

Пусть мы отобрали 4 красных, 2 желтых, 2 зеленых и 2 синих открытки. Составим кортеж из 0 и 1. Выпишем столько единиц, сколько красная открытка встречается в нашем наборе, и поставим 0: 11110. Затем добавим кортеж для желтых − 110. Получим 11110110. Добавим кортеж для зеленых и синих открыток. В последнем 0 не ставим. Получим кортеж 1111011011011. В нем 10 единиц и 3 нуля. Общая длина кортежа – 13. Таких кортежей можно составить столько, сколько перестановок с повторениями из 13.

P13

(10, 3) =

13!

 

= 286 – это и будет число сочетаний с повторениями из 4 по 10.

 

 

 

10! 3!

 

P13

(10, 3) = С1310 .

Таким образом, Ĉ 104 С1310 .

В общем случае.

Пусть мы имеем n элементов a1, a2,…, an, из которых создаются сочетания с повторениями, и каждое сочетание содержит k элементов. Составим кортеж, в который запишем вначале столько единиц, сколько элемент a1 входит

15

в сочетание, затем запишем 0. Припишем кортеж из единиц и нуль для элемента a2 и т.д. без последнего нуля.

Получим: 111…1011…10…11…1.

Единиц – k. Нулей – n-1. Длина кортежа n+ k-1. Общее число сочетаний с повторениями:

Ĉ nk = Pn+k-1 (k, n-(k-1)) =

(n k 1)!

 

 

= С nk

k 1 .

 

 

k! (n (k 1))!

 

Итак, Ĉ nk = С nk k 1 .

 

 

 

4.Основы математической логики

4.1.Высказывания

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

Например:

«Какая прекрасная погода!» – предложение не является высказыванием, так как оно не повествовательное. «Белгород – столица РФ», – высказывание ложное.

«Белгород – центр Белгородской области», – высказывание истинное.

В дальнейшем высказывания мы будем обозначать малыми латинскими буквами, и нас будет интересовать истинно (1) или ложно (0) его значение.

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

Например:

«Для того чтобы два треугольника были равны, необходимо и достаточно, чтобы у них были соответственно равны три стороны».

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

4.2. Основные операции над высказываниями

1)Отрицание.

Высказывание р , которое истинно, если р ложно, и ложно, если р истинно, называется отрицанием.

Таблица истинности:

р q .

16

рр

01

10

Пример:

р– число 5 делится на 3. р = 0.

р– число 5 не делится на 3. p = 1.

2) Конъюнкция (логическое умножение).

Пусть даны два высказывания р и q.

Конъюнкцией двух высказываний называется высказывание, которое истинно только тогда, когда истинны оба высказывания.

Задается союзом И. Обозначение: p q. Таблица истинности:

р

q

p q

1

1

1

1

0

0

0

1

0

0

0

0

Пример:

а) Высказывание р: 15 делится на 3 − истина. Высказывание q: 15 делится на 5 − истина.

р q : 15 делится на 3 и 5 − это истинное высказывание.

б) Высказывание р: 15 делится на 3 − истина. Высказывание q: 15 делится на 6 − ложь.

рq : 15 делится на 3 и 6 − это ложное высказывание.

3)Дизъюнкция (логическое сложение).

Дизъюнкцией двух высказываний называется высказывание, которое ложно только тогда, когда оба высказывания ложны.

Задается союзом ИЛИ. Обозначение: p q. Таблица истинности:

р

q

p q

1

1

1

1

0

1

0

1

1

0

0

0

Пример:

а) Высказывание р: 15 делится на 3 − истина. Высказывание q: 15 делится на 5 − истина.

p q: 15 делится на 3 или 5 − это истинное высказывание. б) Высказывание р: 15 делится на 4 − ложь.

Высказывание q: 15 делится на 6 − ложь.

p q: 15 делится на 4 или 6 − это ложное высказывание. в) Высказывание р: 15 делится на 3 − истина. Высказывание q: 15 делится на 6 − ложь.

p q: 15 делится на 3 или 5 − это истинное высказывание.

4)Импликация.

Импликацией двух высказываний р и q называется высказывание, которое ложно только тогда, когда р – истинно, а q – ложно.

ЕСЛИ р, ТО q. Обозначение:

17

Таблица истинности:

р

q

р q

1

1

1

1

0

0

0

1

1

0

0

1

Пример:

а) Высказывание р: 15 делится на 3 − истина. Высказывание q: 15 делится на 5 − истина.

рq : Если 15 делится на 3, то 15 делится на 5 − это истинное высказывание. б) Высказывание р: 15 делится на 3 − истина.

Высказывание q: 15 делится на 6 − ложь.

рq : Если 15 делится на 3, то 15 делится на 6 − это ложное высказывание. в) Высказывание р: 15 делится на 4 – ложь.

Высказывание q: 15 делится на 6 − ложь.

рq : Если 15 делится на 4, то 15 делится на 6 − это истинное высказывание.

5)Эквиваленция.

Эквиваленцией двух высказываний р и q называется высказывание, которое истинно, если оба высказывания принимают одинаковые значения.

В словесной формулировке: тогда и только тогда; необходимо и достаточно; если и только если. Обозначение: p ↔ q, или р q .

Таблица истинности:

р

q

p ↔ q

1

1

1

1

0

0

0

1

0

0

0

1

Пример:

р − треугольник равнобедренный.

q − углы при основании треугольника равны.

p ↔ q: Для того чтобы треугольник был равнобедренным необходимо и достаточно, чтобы углы при основании были равными.

6)Стрелка Пирса ↓.

Логическая операция задается таблицей:

р

q

р ↓ q

1

1

0

1

0

0

0

1

0

0

0

1

Стрелка Пирса является отрицанием дизъюнкции.

7) Штрих Шеффера − |.

Логическая операция задается таблицей:

р

q

р | q

1

1

0

1

0

1

0

1

1

0

0

1

Штрих Шеффера является отрицанием конъюнкции.

18

4.3. Формулы

Используя определенные выше логические операции (логические связки), мы можем конструировать все более сложные высказывания, которые будем записывать в виде формул.

Дадим декларативное определение формулы.

1)0 и 1 – это формула.

2)Простые высказывания (р) и (q) есть формула.

3)Если ( 1 ) и ( 2 ) − формулы, то ( 1 ) – формула;

( 1 ) ( 2 ) − формула; ( 1 ) ( 2 ) − формула; ( 1 ) ( 2 ) – формула; ( 1 ) ( 2 ) – формула. 4) Других формул нет.

Пример:

( ( р) (q) ) ( q ) − формула.

Доказательство:

(р) и (q) – формулы (по 2), ( р) (q) – формула (по 3), ( ( р) (q) )− формула (по 3), q − формула (по 3), (

( р) (q) ) q − формула (по 3).

4.3.1.Соглашение о скобках

1)Элементарные высказывания в скобки заключать не будем.

2)Будем считать, что отрицание связывает сильнее остальных операций, и поэтому скобок писать не бу-

дем.

3)связывает сильнее, чем , , .

4)связывает сильнее, чем и .

5)связывает сильнее, чем .

Пример:

Вместо ((р) (q)) ((r) ( q )) пишем р q r q.

Знак конъюнкции можно опускать: р q r q .

4.3.2. Булевы функции

Так как каждое высказывание задается на множестве {0,1}, то любая формула отображает свои значения на множество {0,1}. Таким образом, формула логики высказываний определяет на множестве {0,1} логическую функцию со значениями 0,1. Эти функции получили название булевых.

4.3.3 Равносильные формулы

Формулы Φ1 ( р1 , р2 ,..., рn ) и Φ 2 ( р1 , р2 ,..., рn ) называются равносильными, если они принимают оди-

наковые значения при одинаковых наборах значений высказывательных переменных, входящих в эти формулы. Обозначение равносильности:

Пример:

Φ 1 = р q и Φ 2 = р q.

Их таблицы истинности:

р

q

Ф1 =

 

Ф2 =

 

 

р q

 

 

 

q

 

 

 

 

р

1

1

1

0

1

 

1

0

0

0

0

 

0

1

1

1

1

 

0

0

1

1

1

 

Сравнивая значения столбца Φ 1

и Φ 2 , приходим к выводу, что Φ 1 равносильно Φ 2 , то есть Φ 1 Φ 2 .

4.3.4. Основные равносильности

1)р р.

19

Коммутативность:

2)р q q р.

3)p q q p .

Ассоциативность:

4)(р q) r р (q r).

5)( р q ) r р (q r).

Дистрибутивность:

6)р (q r). р q р r.

7)р (q r) (р q) (р r).

Законы Де-Моргана:

______

8)p q p q .

______

9)p q p q .

Поглощение:

10)р р р.

11)р р р.

Операции с 0 и 1

12)р 0 0.

13)р 1 р.

14)р 0 р.

15)р 1 1.

Связь с отрицанием

16)р p 0.

17)р p 1.

Связь импликации и эквиваленции с другими операциями

18)p q p q.

19)p q (p q) ( q p ).

Доказательство этих равносильностей происходит путем построения таблиц истинности. Используются равносильности при преобразованиях формул.

Пример преобразований с использованием равносильностей.

p q↔r q (снимаем эквиваленцию по 19)

((p q) r q )(r q (p q))

(снимаем импликации по 18)

( р q qr)( qr p q) (по законам де Моргана)

( ðq q r)( q r p q) (снимаем двойные отрицания по 1)

 

(р q q r)(q r

 

p

 

 

q) (в первой скобке выносим за скобку по 6, во второй скобке по 11)

r )

q

(q

r

 

p

) (по 6)

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

(по 16)

 

 

 

 

 

 

) (q

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

)

 

 

 

 

 

 

q

 

 

 

 

 

 

r

q

r

 

 

 

 

 

 

 

 

 

 

 

 

q

ð

 

 

 

 

 

 

 

 

) (0

 

 

 

 

 

 

 

 

 

p

)

 

 

 

(по 14)

 

 

 

 

 

r

 

r

 

 

 

 

 

 

 

q

q

 

 

 

 

 

 

 

 

) (

 

 

 

 

 

 

 

 

 

)

 

 

 

(по 6)

 

 

 

r

q

r

 

 

 

 

 

 

 

q

ð

 

 

 

 

 

 

 

 

 

р

 

 

 

р

 

p

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

(по 10 и 16)

 

 

 

 

 

 

 

r

 

 

 

 

 

 

 

r

 

 

q

 

 

 

r

 

 

 

r

 

q

 

 

 

 

 

 

q

q

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

p

 

 

 

 

 

 

 

 

 

 

 

 

 

 

р

 

 

 

 

 

 

 

 

 

 

0

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

p

(по 14 и 6)

 

 

 

 

 

 

 

 

 

 

 

q

q

q

 

 

 

 

 

r

 

 

 

r

r

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

( р 1)

 

 

 

 

 

 

 

 

 

1

 

 

 

 

 

.

 

 

 

 

 

 

 

 

 

 

 

 

 

q

q

q

 

 

 

 

 

r

r

r

 

 

4.4. Решение логических уравнений

Используя определения логических операций, мы можем решать логические уравнения. Общий принцип решения уравнения:

1)Задается некоторая формула, равная или 1, или 0.

2)Определяем какую операцию задает эта формула (последняя операция при вычислении значений).

3)В соответствии с определением этой операции данное уравнение сводится к системе или совокупности уравнений.

4)Для каждого из этих уравнений повторяем действия 1 − 3, пока не дойдем до значений элементарных высказываний, а затем каждой из систем производим сопоставление полученных значений.

Например:

20

p q р r q =0.

Решение:

Импликация ложна, когда

рq 1

р rq 0

Это приводит нас к системе

р 1

q 1

p 0

qr 0

т.к. q = 1, то r 0 , т.е. r = 1.

Получим решение

p 0

q 1r 1

Замечание1. Левую часть уравнения можно преобразовать, а затем решать получившееся уравнение. Иногда это упрощает дело.

Замечание2. Если уравнение имеет вид Ф1 = Ф2, то следует рассматривать две системы

Ф1 0

и

Ф1 1

 

 

Ф2 0

 

Ф2 1

4.5. Виды формул

Формула называется тождественно истинной (тавтологией), если она принимает значение 1 при любых наборах значений высказываний, входящих в эту формулу.

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

Если формула не тавтология и не тождественно ложная, то она называется выполнимой.

Пример: Установить вид формулы (p q) q p

Решение:

Построим таблицу истинности формулы:

р

q

p q

 

p

 

 

q

 

(p q)

q

 

(p q)

q

 

p

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

1

1

1

 

0

0

0

 

 

1

 

 

 

 

1

0

0

 

0

1

0

 

 

1

 

 

 

 

0

1

1

 

1

0

0

 

 

1

 

 

 

 

0

0

1

 

1

1

1

 

 

1

 

 

 

 

Ответ: формулатавтология.

4.5.1. Связь равносильности и эквиваленции

Теорема. Две формулы 1 и 2 равносильны тогда и только тогда, когда формула 1 2 - тавтология.

Доказательство: Достаточность:

Пусть 1 2 1. Это означает, что при любых наборах высказывательных переменных, входящих в экви-

валенцию, формулы 1 и 2 принимают одинаковые значения. По определению равносильности 1 2 .

Необходимость:

Пусть 1 2 . Это означает, что 1 и 2 принимают одинаковые значения при любых наборах высказыва-

тельных переменных. Но тогда по определению эквиваленции 1 2 =1, т.е. является тавтологией.

21

4.6. Нормальные формы

Если формула содержит только элементарные высказывания и (или) их отрицания, между которыми стоит знак дизъюнкции ( ) , то эту формулу будем называть элементарной суммой.

Например: 1 = р q r q .

Если формула является конъюнкцией ( ) элементарных высказываний и (или) их отрицаний, то она называ-

ется элементарным произведением.

Например: 2 = рq r q

4.6.1. Дизъюнктивная нормальная форма формулы

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

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

Например:

= (p q r) p r (снимаем импликацию) ( ð qr) ð r (по первому закону дистрибутивности) ð

ð r qr ð r - это ДНФ.

Если каждое элементарное произведение ДНФ содержит хотя бы одно высказывание вместе со своим отрицанием, то эта формула - тождественно ложная.

В нашем случае есть дизъюнктивные члены (первый), в которых это не выполняется, следовательно, эта формула не тождественно ложная.

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

Формула считается приведенной к конъюнктивной нормальной форме (КНФ), если она представлена в

виде конъюнкции элементарных сумм.

Пример:

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

( ð q )(q r) (р r)

(снимаем импликацию) (

 

q)(

 

r)

 

r

(

 

q)(

 

r)

 

 

r

ð

q

ð

ð

q

ð

(по законам де Моргана)

(

______

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

p

q ) (

q

r )

p

r

 

 

 

 

 

 

 

 

 

( ð q ) ( q r ) ð r (снимаем двойные отрицания) р q q r ð r (по второму закону дис-

трибутивности для второй конъюнкции) (р q q p r)(р q r p r) (по второму закону дистрибутивности для первых конъюнкций)

(р q ð r)( q q ð r)(р r ð r)( q r ð r)

это КНФ..

Если каждая элементарная сумма, входящая в КНФ, содержит хотя бы одно высказывание вместе со своим отрицанием, то данная формулатавтология.

В нашем примере так оно и есть, т.е. данная формула ─ тавтология Таким образом, чтобы установить, к какому виду относится данная формула, нужно ее привести к ДНФ и

КНФ.

4.6.3. Методы доказательства тавтологии

1.Таблица истинности.

2.Приведение к КНФ.

3.Метод от противного.

Сущность 3-го метода заключается в том, что предполагается истинность противоположного утверждения, и на основании анализа формул мы получаем заключение о том, что она противоречит предположению. Это является доказательством того, что предположение ложно.

Пример:

Пусть имеется формула (p q)(q r) (р r).

Предположим, что эта формула не является тавтологией. Это значит, что существует некоторый набор значе-

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

p q – ДНФ.

22

q 0 , r 0

Получим систему

p

 

q

 

q

 

р

 

1

 

 

q0 1

 

0

0

0

0

p0

 

 

 

 

 

отсюда:

 

 

r0

1

 

 

 

r

0

 

 

q0

 

p

0

 

 

 

 

 

 

 

 

 

 

0

 

 

 

 

 

1, r

0

 

 

 

 

 

 

 

 

 

 

p

0

 

 

 

 

 

 

 

 

 

 

 

0

 

 

Из 3-его имеем р0 = 1. Тогда из 1 получим q0 = 1, а из 2 получим

r0 = 1.

В результате

 

r 0 = 1 и r 0 = 0.

 

 

 

 

 

Мы пришли к противоречию, следовательно, наше предположение ложно и формула – тавтология.

4.6.4. Совершенные нормальные формы

Формулы х и х будем называть литералами, т.е. литерал – это или х, или х .

Если в ДНФ каждое элементарное произведение содержит все элементарные высказывания, но только в виде единственного литерала, то ДНФ называется совершенной дизъюнктивной нормальной формой (СДНФ).

Например:

1 =pqr q r является ДНФ, но не является СДНФ, т.к. во второе элементарное произведение не входит ни р,

ни p .

Формула 2 = pqr qr ð – СДНФ.

Формула 3 = pqr q rq – не СДНФ, т.к. во втором элементарном произведении содержится два литерала.

Теорема. Любая формула, отличная от 0, представима в виде СДНФ.

Доказательство:

Пусть Ф – формула, содержащая n литералов. Пусть ДНФ содержит элементарное произведение без литерала

рi . i = р1 ... pi 1 рi 1 ...pn

,

p j - литералы. Введем дизъюнкцию pi

 

рi

, которая равна 1. Получим

i =

р ...p

 

р

 

...p

 

( p

 

 

 

 

 

) = (по первому закону дистрибутивности) =

р ...p

 

р

 

...p

 

p

 

р

...p

 

р

 

...p

 

 

 

 

i 1

i 1

n

i

р

i

i 1

i 1

n

i

i 1

i 1

n

р

i

1

 

 

 

 

 

 

1

 

 

 

 

 

1

 

 

 

 

.

Теперь элементарные произведения содержат все литералы. Поступая аналогично с другими элементарными произведениями, и, заменяя р p нулем, получим СДНФ.

Что и требовалось доказать.

Пример 2.

Пусть 1 = pqr

Приведем к СДНФ.

Добавим 1 в виде дизъюнкции r r .

Получим 1 = pqr p q (r r ) pqr p qr p q r ─ СДНФ.

Если каждая элементарная сумма КНФ формулы содержит все литералы по одному разу, то такая форма назы-

вается совершенной конъюнктивной нормальной формой (СКНФ).

Теорема. Любая формула, отличная от 1, представима в виде СКНФ.

Доказательство:

Если элементарная сумма не содержит литерал pi , то можно в нее ввести конъюнкцию pi рi и воспользо-

ваться вторым законом дистрибутивности.

Пример 3. Пусть 2 = (p q r) ( p q) – КНФ. Приведем к СКНФ. Добавим 0 в виде r r . Получим

2 = (p q r) ( p q r r ) (p q r) ( p q r) ( p q r )

– это СКНФ.

4.6.5. Восстановление формул

Каждой формуле соответствует таблица истинности, следовательно, каждой таблице истинности соответствует некоторая формула. Возникает задача ─ для заданной таблицы истинности восстановить формулу, которой она соответствует. Этого можно достичь двумя способами:

С помощью СКНФ или с помощью СДНФ.

Соседние файлы в предмете [НЕСОРТИРОВАННОЕ]