Вы находитесь на странице: 1из 20

Министерство образования и науки Российской Федерации

КАЗАНСКИЙ ГОСУДАРСТВЕННЫЙ
ТЕХНИЧЕСКИЙ УНИВЕРСИТЕТ
им. А. Н. ТУПОЛЕВА

МЕТОДИЧЕСКИЕ УКАЗАНИЯ К
ПРАКТИЧЕСКИМ ЗАНЯТИЯМ ПО

ДИСКРЕТНОЙ МАТЕМАТИКЕ

Казань 2009
2
3

УДК 510.61(075.8)

Методические указания к практическим занятиям по Дискретной


математике. Галиев Ш. И. Казань: КГТУ им. А. Н. Туполева, 2009. 26 с.

В работе приведен план проведения занятий, перечень задач,


рекомендованных к решению на занятиях, методические указания для
решения задач. Указаны возможные варианты домашних заданий.
Предназначено для студентов, обучающихся по направлению
«Информатика и вычислительная техника» и по специальностям: 220100 –
«Вычислительные машины, комплексы, системы и сети», 220200 –
«Автоматизированные системы обработки информации и управления» и
230105 - «Программное обеспечение вычислительной техники и
автоматизированных систем». Работа может быть использована студентами,
обучающимися по другим направлениям и специальностям при изучении
дисциплины «Дискретная математика».
4

Оглавление

Содержание занятий 3
Практическое занятие № 1 4
Практическое занятие № 2 4
Практическое занятие № 3 4
Практическое занятие № 4 5
Практическое занятие № 5 5
Практическое занятие № 6 5
Практическое занятие № 7 5
Практическое занятие № 8 6
Практическое занятие № 9 6
Практическое занятие № 10 6
Практическое занятие № 11 6
Практическое занятие № 12 7
Практическое занятие № 13 7
Практическое занятие № 14 7
Практическое занятие № 15 7
Практическое занятие № 16 8
Практическое занятие № 17 8
Практическое занятие № 18 8
Методические указания по решению задач 9
Литература 18
5
Содержание занятий.

ПЛАН (рекомендованный) занятий


по дисциплине

ДИСКРЕТНАЯ МАТЕМАТИКА

для направления 654600 «Информатика и вычислительная техника»


Факультет Технической кибернетики и информатики

курс 1
семестр 2
Теоретические занятия: 27 по 2 часа---------------------------- 54 часов.
Практические занятия: 18 по 2 часа ---------------------------- 36 часов.
Повторение теоретического материала и
выполнение домашних заданий ----------------------------------42 часа
Выполнение расчетно-графической работы------------------- 8 часов
Итого самостоятельной работы----------------------------------- 50 часов

Всего ----------------------------------------------------------------- 140 часов.

План занятий дан по учебному пособию: Ш. И. Галиев. ДИСКРЕТНАЯ


МАТЕМАТИКА, разработанного в рамках УМК по этой дисциплине. Казань.
КГТУ, 2009г. При необходимости используется литература, указанная в
программе дисциплины и в учебном пособии. Задачи, для которых есть в
данном пособии методические указания помечены звездочкой (*).

Для каждого занятия предлагаются номера задач (упражнений) для


решения их по пособию [3]. Дополнительные задачи можно брать из любых
6
источников, например, из [1-7]. Преподаватель может строить занятия по
произвольным задачам из [1-7] или из других источников, но тематика
должна соответствовать указанной, взятой из программы дисциплины.

Практическое занятие № 1. Задание множества, операции над


множествами.
Привести определение множества и способы задания множества.
Напомнить операции над множествами (с использованием компьютерной
презентации).
Решать из первой главы пособия [3] задачи №№:
1, 2, 3, 4, 5, 6 (а,б), 8, 9 (а,б), 11* (а,б), 13* (а,б), 17 (а), 20.
Домашнее задание. Решать из первой главы пособия [3] задачи №№:
6 (в,г), 7, 8 (в,г), 11* (в,г), 13* (в,г), 15, 18.
Практическое занятие № 2. Свойства операций над множествами.
Декартово произведение. Бинарные отношения.
Привести основные свойства операций над множествами. Напомнить
определение декартового произведения и определение множества и
бинарных отношений (с использованием компьютерной презентации).
Решать из первой главы пособия [3] задачи №№:
21, 23, 24, 25, 26 (а,б), 27, 29, 31, 33, 34, 35, 36.
Домашнее задание. Решать из первой главы пособия [3] задачи №№:
26 (в,г), 28, 30, 32, 37.

Практическое занятие № 3. Свойства бинарных отношений. Функции.


Привести основные свойства бинарных отношений. Напомнить
определение функции, инъекции, сюръекции и биекции (с использованием
компьютерной презентации).
Решать из первой главы пособия [3] задачи №№:
38*, 39, 40, 42*, 45, 48*, 50, 52, 54*, 55, 57, 59, 67 (а,б).
Домашнее задание. Решать из первой главы пособия [3] задачи №№:
7
41, 43, 46, 47, 49*, 53, 56, 58.
Практическое занятие № 4. Равномощные множества. Характеристическая
функция. Отношения порядка. Алгебры.
Привести определение равномощности множеств, характеристической
функции, отношения порядка. Напомнить понятие алгебры. (с
использованием компьютерной презентации).
Решать из первой главы пособия [3] задачи №№: 64, 65, 67* (а,б), 68,
69. Далее решать из второй главы пособия [3] задачи №№: 1, 2 (1-3), 4 (а-г),
5, 6, 8.
Домашнее задание. Решать из первой главы пособия [3] задачи №№:
63, 66, 67* (в-г), 70. Далее решать из второй главы пособия [3] задачи №№: 2
(4-6), 3, 4 (г-д), 7.
Практическое занятие № 5. Алгебры.
Решать из второй главы пособия [3] задачи №№:
9, 10, 11, 12 (1-3), 13, 15 (1-3), 17, 19, 22, 23.
Домашнее задание. Решать из второй главы пособия [3] задачи №№:
12 (4-6), 13, 14, 15 (4-6), 18.
Практическое занятие № 6. Алгебры.
Решать из второй главы пособия [3] задачи №№:
24, 26, 29, 30, 32, 33 (1), 34, 36.
Домашнее задание. Решать из второй главы пособия [3] задачи №№:
27, 31, 33 (2), 35, 37.
Практическое занятие № 7. Булевы функции, основные соотношения для
булевых функций.
Привести основные свойства булевы функции и основные соотношения
для булевых функций (с использованием компьютерной презентации).
Решать из третьей главы пособия [3] задачи №№:
1, 2, 4* (а-з), 5 (а-в), 8 (а,б), 9, 10, 11* (1: а-в), 11* (2: а-в), 12, 13 (а-е), 14.
Домашнее задание. Решать из третьей главы пособия [3] задачи №№:
4 (и-м), 5 (г-е), 8 (в-г) , 11* (1: г-д), 11* (2: г-д), 13 (ж-м).
8
Практическое занятие № 8. Связи между различными булевыми
функциями.
Привести основные формулы связи между различными булевыми
функциями (с использованием компьютерной презентации).
Решать из третьей главы пособия [3] задачи №№:
18, 19, 24, 25, 26 (а-з), 28* (а-г), 29, 32 (а-в), 33* (а-в), 40 (а-в).
Домашнее задание. Решать из третьей главы пособия [3] задачи №№:
20, 21, 23, 26 (и-л), 27, 28* (д-з), 32 (г-е), 33* (г-д), 40 (г-е).
Практическое занятие № 9. Представление булевой функции в
аналитическом виде. Совершенные нормальные формы. Полином
Жегалкина.
Напомнить совершенные нормальные формы, когда они существуют и
их единственность для заданной функции. Привести определение полинома
Жегалкина (с использованием компьютерной презентации).
Решать из третьей главы пособия [3] задачи №№:
34 (а-в), 37* (а,б), 38 (а-в), 41, 44, 45 (а,б), 48, 49 (а,б).
Домашнее задание. Решать из третьей главы пособия [3] задачи №№:
34 (г-д), 37* (в,г), 38 (г-е), 42, 45 (в,г), 49 (в,г).
Практическое занятие № 10. Сокращенные, тупиковые и минимальные
формы.
Напомнить сокращенные, тупиковые и минимальные формы и
алгоритмы их построения (с использованием компьютерной презентации).
Решать из третьей главы пособия [3] задачи №№:
56, 57, 58 (1,2), 59 (1), 60 (а-в).
Домашнее задание. Решать из третьей главы пособия [3] задачи №№:
58 (3), 59 (2), 60 (г-е).
Практическое занятие № 11. Замкнутые классы функций, полные системы
функций, базис.
9
Привести определения замкнутых классов функций, функциональной
полноты систем булевых функций и базиса (с использованием компьютерной
презентации).
Решать из третьей главы пособия [3] задачи №№:
62, 51, 52, 54, 55 (а,б), 63 (а-в), 64.
Домашнее задание. Решать из третьей главы пособия [3] задачи №№:
53, 55 (г-д), 63 (г-е), 65.
Практическое занятие № 12. Переключательные схемы, схемы из
функциональных элементов, функциональная декомпозиция.
Пояснить тематику занятия с использованием компьютерной
презентации.
Решать из третьей главы пособия [3] задачи №№:
67 (а-г), 68, 69 (а-в), 70, 73, 75 (а,б).
Домашнее задание. Решать из третьей главы пособия [3] задачи №№:
67 (д-е), 69 (г-е), 71, 75 (в-г).
Практическое занятие № 13. Контрольная работа по всем темам,
проработанным на практических занятиях.
Практическое занятие № 14. Элементы комбинаторики.
Привести определения основных понятий комбинаторики и
применяемых формул (с использованием компьютерной презентации).
Решать из четвертой главы пособия [3] задачи №№:
1, 2, 3, 4, 5, 6, 7, 8, 9, 11, 13, 14.
Домашнее задание. Решать из третьей главы пособия [3] задачи №№:
5, 10, 12, 16, 17.
Практическое занятие № 15. Элементы комбинаторики. Основные понятия
теории графов.
Привести формулы комбинаторики и основные типы графов (с
использованием компьютерной презентации).
10
Решать из четвертой главы пособия [3] задачи №№: 19, 21, 23, 28 (а,б),
30 (а). Далее решать из пятой главы пособия [3] задачи №№: 1, 2, 5, 7, 8, 10,
18, 19.
Домашнее задание. Решать из четвертой главы пособия [3] задачи №№:
22, 24, 28 (в-г), 30 (б). Далее решать из пятой главы пособия [3] задачи №№:
3, 6, 9.
Практическое занятие № 16. Изоморфизм графов. Деревья.
Привести определение изоморфизма графов и дерева (с
использованием компьютерной презентации).
Решать из пятой главы пособия [3] задачи №№:
13, 15, 20, 21, 22 (а,б), 23, 25, 27, 29.
Домашнее задание. Решать из пятой главы пособия [3] задачи №№:
14, 16, 22 (в,г), 24, 26, 28, 30.
Практическое занятие № 17. Эйлеровы и гамильтоновы графы, планарные
графы.
Привести определение эйлеровых, гамильтоновых и планарных графов
(с использованием компьютерной презентации).
Решать из пятой главы пособия [3] задачи №№:
32, 33, 35, 39.
Домашнее задание. Решать из пятой главы пособия [3] задачи №№:
34, 36, 38.
Практическое занятие № 18. Экстремальные задачи на графах.
Сформулировать экстремальные задачи на графах и напомнить
алгоритмы их решения (с использованием компьютерной презентации).
Произвольно выбирать графы , задавать веса ребер и находить
решения. кроме того по выбору студентов решать некоторые задачи из всего
пройденного материала.
11
МЕТОДИЧЕСКИЕ УКАЗАНИЯ
по
РЕШЕНИЮ ЗАДАЧ

К задачам 11, 13 первой главы пособия [3].- Как доказывать равенства


двух множеств?
Равенства можно доказать различными способами. Можно доказать,
используя основные соотношения между множествами (см. теорему 1.1
пособия [3]), либо с помощью диаграмм Эйлера-Венна. Рассмотрим на
примере. Пусть требуется доказать, что A\(A\B) = A∩B. Легко видеть, что
A\B = A∩ B . Преобразуем левую часть:

A\(A\B) = A\( A∩ B ) = A∩( A∩ B ) = A∩( A ∪B) = ( A ∩A) ∪(B∩A) =


∅∪(B∩A)

= A∩B, что и требовалось. Либо нужно построить диаграммы Эйлера –Венна


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

К решению задачу № 38 первой главы. Введенное отношение R: хRу ⇔


х+у нечетное число не будет рефлексивным, ибо х+х является четным
числом. Отношение R будет симметричным, так из того, что х+у нечетное
число (хRу) следует, что и у+х тоже нечетное число (уRх). Отношение R не
будет транзитивным, так как, например, 1+4 и 4+5 - нечетные числа, а 1+5 –
четное число.
12
К решению задачу № 43а) первой главы. Построим бинарное
отношение R: хRу ⇔ x −y ≤1 . Это отношение рефлексивно, так как
x −x =0 ≤1 . Отношение R будет симметричным, так из того, что x −y ≤1

(хRу) следует, что и y −x ≤1 (уRх). Отношение R не будет транзитивным, так


как, например, 1 −0 =0 ≤1 и 0 −( −1) =1 ≤1 , но 1 −( −1) =2 и это число не
будет меньше единицы.

К решению задачу № 48 первой главы. Введенное на множестве всех


вещественных чисел отношение R: хRу ⇔ х-у - целое число будет
рефлексивным, ибо х-х=0 является четным числом. Отношение R будет
симметричным, так из того, что х-у целое число (хRу) следует, что и у-х = -(х-
у) - тоже целое (уRх). Пусть х-у и у-z – целые числа. Тогда х-z = (х-у) + (у-z)
будет целым числом как сумма двух целых чисел, следовательно отношение
R будет транзитивным.
Таким образом, отношение R рефлексивно, симметрично и
транзитивно, следовательно, R - отношение эквивалентности.
Класс эквивалентности [x]R произвольного вещественного числа x
определяется по формуле:
[x]R = {y ∈(-∞,∞): y-x – целое число}.
Если x= 0.5, то в класс [0.5]R попадают все числа у для которых
разность y-0.5 – целое число, т.е. числа, имеющие дробную часть, равную 0.5:
[0.5]R = {…, -2.5, -1.5, -0.5, 0.5, 1.5, 2.5,….}.
Если x= 1, то в класс [1]R попадают все числа у для которых разность y-
1 – целое число, т.е. все целые числа: [1]R = {…, -3, -2, -1, 0, 1, 2,…3,...}.

К решению задачу № 50 первой главы. Введенное на множестве всех


целых чисел отношение R: nRm ⇔ n2-m2 – делится на 3 будет рефлексивным,
ибо n2-n2 =0 делится на 3 (равно нулю). Отношение R будет симметричным,
13
так из того, что n2-m2 – делится на 3 (хRу) следует, что и m2-n2 = -( n2-m2) –
делится на 3 (уRх). Пусть n2-m2 и m2-k2 – делится на 3. Тогда n2-k2 = (n2-m2)+
(m2-k2) будет делится на 3, так как каждое слагаемое делится на 3,
следовательно. отношение R будет транзитивным.
Таким образом, отношение R рефлексивно, симметрично и
транзитивно, следовательно, R - отношение эквивалентности.
Класс эквивалентности [m]R произвольного целого числа m
определяется по формуле:
[m]R = {n ∈(-∞,∞): n2-m2 – делится на 3}.
Если x= 0, то в класс [0]R попадают все числа n для которых n2 делятся
на 3. Число n2 кратно трем тогда и только тогда, когда само число кратно
трем, следовательно в класс [0]R попадают те и только те числа которые
кратны трем:
[0]R = {…, -9, -6, -3, 0, 3, 6, 9,….}.
Если x= 1, то в класс [1]R попадают все числа n, такие, что n2 -1 делятся
на 3. Известно, что n2 -1 = (n - 1)( n + 1), Тогда одно из чисел (n - 1) или ( n +
1) должны делиться на 3. Следовательно: n =3m± 1, где целое число. Итак,
имеем: [1]R = {…, -5, -4, -2, -1, 1, 2, 4, 5,...}.

К решению задачу № 54 первой главы.


а) отношение f – не функция, поскольку элементу а соответствуют два
различных элемента множества В;
б) отношение g является функцией;
в) отношение h – не функция, так как элементу b не соответствует ни
один элемент из В.

К решению задачу № 67 первой главы. Отметим, что для


характеристической функции множества выполняются следующие свойства.
14
[ µA ( x)] 2 = µA ( x).

0, если x ∈A
µA ( x) =  = 1 - µA ( x )
1, если x ∉ A
µ A∩B ( x) = µ A ( x) µB ( x).
µ A∪B ( x) = µ A ( x) + µB ( x) - µ A ( x) µB ( x).

µ A \ B ( x) = µ A ( x ) - µ A ( x ) µ B ( x ) ,
µ A∆B ( x ) = µ A ( x ) + µB (x) - 2 µ A ( x ) µB ( x ).
Используя характеристические функции можно выяснять, равны или нет те или
иные множества. Покажем это на примерах. Докажем соотношение:

A\(A\B) = A∩B. (1)


Для этого найдем характеристические функции для множества
стоящего в левой части соотношения (1). Последовательно имеем:

µ A\(A\ B) (x) = µ A(x) - µ A(x)µ A\B (x) =


= µ A ( x) - µ A ( x)( µ A ( x) - µ A ( x) µB ( x)) = µA ( x) µB ( x).

Получили, что характеристическая функция левой части для (1) равна


µA ( x ) µB ( x ) , а эта характеристическая функция для A∩B, следовательно,

множества тоже совпадают.

К решению задачи № 4 третьей главы.


Ответ. Рассмотрим задачу пункта а)  (х&у)= 0. Из условия получаем,
что х&у= 1. Тогда по определению конъюнкции должно быть х= 1, у= 1.
В пункте б)  (х⇒( у))= 1. Тогда х⇒( у)= 0. Импликация равна
нулю только тогда, когда посылка равна 1, а заключение 0, следовательно, х=
1,  у= 0. В результате х= 1, у= 1.
В пункте ж) имеем систему уравнений:
15

( (х&у)≡ z)= 1,
(z∨( x))= 0.
Решение лучше начинать со второго уравнения: (z∨ ( x))= 0. Дизъюнкция
равна нулю, если равны нулю оба слагаемых, то есть z= 0 и ( x)= 0, тогда
x= 1, z= 0. Подставив эти значения в первое уравнение системы, получим:
( (1&y)≡ 0)= 0. Из него следует, что (( y)≡ 0)= 1. Эквивалентность равна
1, если участвующие переменные принимают одинаковые значения. Тогда,
 у= 0, следовательно, у= 1. Итак, получили, что х= 1, у= 1, z = 0.

К решению задачи № 11 (1-а-в) третьей главы.


Ответ. Опускаем внешнюю пару скобок, затем скобки для отрицания,
потом последовательно для ∨, ⇒, ≡ . В пунктах а) и б) можно опустить все
скобки, а для в) останется одна пара скобок: x⇒ y⇒(z⇒  z).

К решению задачи 11 (2-а, б ) третьей главы.


Ответ. Восстановление скобок осуществляем сначала для  , двигаясь
слева направо, затем для &, тоже просматривая слева направо, потом,
аналогичным образом, для дизъюнкции, потом для ⇒ и, наконец, для ≡ .
Затем расставляем внешнюю пару скобок. Для вариантов а) и б) получим:
а) (x≡((y ∨ (( z)&x))⇒ ( x)));
б) (((( y) ⇒ y) ⇒ z) ≡ (z & t)).

К решению задачи № 13 а) - е) третьей главы.


Ответ. Просмотрите важнейшие пары равносильных формул, то есть
соотношения 1-20 из § 5 третьей главы. Отметим, что в 1-20 переменные x, y
16
и z могут быть заменены произвольными формулами А, В и С
соответственно.
Для пункта а) задачи, используя закон поглощения (соотношение 19),
сразу получим, что х&(х∨ у) ∼ х. Далее, используя соотношение (18)
получим: х∨х&у ∼ х. Ясно, что дальнейшее упрощение невозможно.
Для решения задачи пункта б) последовательно используем
соотношения 7, 12 и 14: х∨ х&у ∼ (х∨ х)&(х∨у)∼ T& (х∨у) ∼ х∨у.
Для упрощения формулы пункта е) сначала используем соотношения
11 и 10: х∨ х∨ х&х&у&z ∼ x∨ x&x& y&z ∼ x∨ x& y& z. Затем используем
ассоциативность, то есть соотношение 4): x∨(x& y)& z ∼ x∨x& (y& z). Теперь
используем закон поглощения (соотношение 18), полагая, что в нем
переменная y заменена формулой y& z. В результате имеем: x∨x& (y& z) ∼ x.

Как решению задачи № 28 (а - в) третьей главы.


Ответ. Для формулы пункта а) раскрываем скобки, используя закон
дистрибутивности (соотношение 6), затем применяем законы
идемпотентности, поглощения и противоречия (соотношения 10,18 и 13):
(x∨y∨z)&(x∨y∨ z) ∼ x&x∨x&y∨x&  z∨y&x∨y&y∨y&  z∨z&x∨z& y ∨
z&  z ∼ x∨x&y∨x&  z∨x&y∨y∨y&  z∨x&z∨y& z∨П ∼
x y
x
x
∼ x∨y∨x& z∨y& z∨П ∼ x∨x& z∨y∨y& z∨П ∼ x∨y∨П ∼ x∨y.
x y

Для формулы пункта б) применяем закон поглощения (соотношение


19):
(z∨t∨ y)& z&(x∨ t∨ z) ∼ z&(x∨ t∨ z).
17
Для формы пункта в) применяем законы коммутативности,
ассоциативности и поглощения (соотношения 2, 4 и 18):
y∨(t&y& z) ∼ y∨(y& t& z) ∼ y∨(y&(t& z)) ∼ y.

К решению задачи № 33 (а) третьей главы.


Ответ. Для нахождения д.н.ф. для формы А необходимо:
1) исключить из А все связки, кроме  , &, ∨,
2) добиться, чтобы  относилась только к переменным,
3) раскрыть скобки по первому дистрибутивному закону.
Используя этот алгоритм, для формулы пункта а) имеем:
х⇒((у⇒ z)⇒ t) ~  х∨( ( y∨z)∨t) ~  х∨y& z∨t ~  х∨t∨y& z.
В результате получили д.н.ф.
Для получения к.н.ф. нужно:
1) исключить из А все связки, кроме  , &, ∨,
2) добиться, чтобы  относилась только к переменным,
3) сгруппировать в скобки, пользуясь вторым дистрибутивным
законом.
Используя уже полученный выше результат, для формы пункта а) имеем:
 х∨t∨y& z ~ ( x∨t∨y)&( x∨t∨ z)
Полученная форма будет к.н.ф.

К решению задачи № 37 (а) третьей главы.


Ответ. Существует два метода нахождения с.д.н.ф. и с.к.н.ф :
- равносильными преобразованиями,
- с помощью таблиц истинности.
При методе равносильных преобразований для нахождения с.д.н.ф.
(с.к.н.ф) находим сначала д.н.ф. (к.н.ф), затем добиваемся выполнения всех
18
условий для с.д.н.ф (с.к.н.ф). Для формы пункта а) имеем следующую
последовательность нахождения с.д.н.ф методом равносильных
преобразований:
x≡ y∨z ~ x≡ (y∨z) ~ (x⇒(y∨z))&((y∨z)⇒ x)~( x∨y∨z)&( (y∨z)∨x)
~ ( x∨y∨z)&( y& z∨x) ~
~ x& y& z∨ x&x∨y& y& z∨x& y∨z& y& z∨x&z~
~ x& y& z∨x&y∨x& z.
Последняя форма есть д.н.ф., но второе слагаемое не содержит переменную
z, а третье – не содержит переменную у. Умножаем эти слагаемые на
тавтологию, что не изменяет значение выражения, и раскрываем скобки:
 x& y& z∨x&y∨x& z ~ x& y& z∨x&y&(z∨ z)∨x& z&(y∨
y)
~ x& y& z∨x&y& z∨x&y& z∨x&y&z∨x& y& z.
Второе и четвертое слагаемые одинаковы, оставляя только одно из них,
получим с.д.н.ф.:
 x& y& z∨x&y& z∨x&y& z∨ x& y& z.
Для получения к.н.ф начинаем с формы полученной ранее и применяем
второй закон дистрибутивности:
( x∨y∨z)&( y& z∨x) ~ ( x∨y∨z)&(x∨ y)&(x∨ z).
Получили к.н.ф., но не с.к.н.ф., т.к. во втором множителе не хватает
переменной z, а в третьем – переменной y. Вводим эти переменные, с
помощью добавления противоречия, не изменяя значения формулы. Затем
используем второй закон дистрибутивности:
( x∨y∨z)&(x∨ y)&(x∨ z) ~ ( x∨y∨z)&(x∨ y∨z& z)&(x∨ z∨
y& y) ~ ~ ( x∨y∨z)&(x∨ y∨z)&(x∨ y∨ z)&(x∨y∨ z)&(x∨ y∨ z).
Третий и пятый множители одинаковы, оставим только один из них и
получим с.к.н.ф.:
( x∨y∨z)&(x∨ y∨z)&(x∨ y∨ z)&(x∨y∨ z).
19
Для нахождения с.д.н.ф. и с.к.н.ф. табличным методом строим таблицу
истинности.

x y z x≡ y∨z Для построения с.д.н.ф. выбираем


0 0 0 1 строки, в которых форма принимает
0 0 1 0
0 1 0 0 значения 1, т. е. строки: 1, 6, 7 и 8.
0 1 1 0 Используя известные правила, получим
1 0 0 0
1 0 1 1 с.д.н.ф.:
1 1 0 1
1 1 1 1
 x& y& z∨x&y& z∨x&y& z∨ x&
y& z.

Для построения с.к.н.ф. выбираем строки, где форма принимает


значение 0, т.е. строки 2,3, 4 и 5. Используя известные правила, получим
с.к.н.ф.:

( x∨y∨z)&(x∨ y∨z)&(x∨ y∨ z)&(x∨y∨ z).

План составлен профессором Ш. И. Галиевым, каф. Прикладной


математики и информатики КГТУ им. А. Н. Туполева.
20
ЛИТЕРАТУРА

1. Белоусов А. И., С. Б. Ткачев. Дискретная математика. М.: Изд-во


МГТУ им. Н.Э. Баумана, 2001. 744 с.
2. Гаврилов Г. П., Сапоженко А. А. Сборник задач по дискретной
математике. -М.: Наука, 1977. –368 с.
3. Галиев Ш. И. Дискретная математика. Учебное пособие. Казань: 2009.
-251 с.
4. Новиков Ф.А. Дискретная математика для программистов.-
СПб:Питер,2004.-304с.
5. Хаггарти Р. Дискретная математика для программистов.М.:
Техносфера, 2003. –320 с.
6. Шапорев С. Д. Дискретная математика. Курс лекций и практических
занятий. Учебное пособие. СПб.: БХВ-Петербург, 2006. 400 с.
7. Шапорев С. Д. Математическая логика. Курс лекций и практических
занятий. Учебное пособие. СПб.: БХВ-Петербург, 2005. 416 с.

Вам также может понравиться