Поиск

Полнотекстовый поиск:
Где искать:
везде
только в названии
только в тексте
Выводить:
описание
слова в тексте
только заголовок

Рекомендуем ознакомиться

'Программа'
Отметим некоторые моменты, отражающие сущность курения, понимание которых представляется нам принципиально важным для эффективного осуществления проф...полностью>>
'Рассказ'
Диалог культур Евразии имеет многовековую историю, богатые традиции. Зримые его черты и яркие примеры связаны с поисками и находками ученых и путеств...полностью>>
'Документ'
Охорона здоров'я, як соціально-економічна структура, являє собою специфічну систему, по задоволенню визначених людських потреб, узагальнено іменовани...полностью>>
'Документ'
1)от долевого участия в других организациях, за исключением дохода, направляемого на оплату дополнительных акций (долей), размещаемых среди акционеро...полностью>>

Методические указания и контрольные задания санкт-петербург удк 621. 396. 62

Главная > Методические указания
Сохрани ссылку в одной из сетей:

ДИСКРЕТНАЯ МАТЕМАТИКА Булевы функции и элементы теории графов методические указания и контрольные задания Авторы: Рабкин Е.Л., Фарфоровская Ю.Б. / СПбГУТ. – СПб

Получено с

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

ПО СВЯЗИ И ИНФОРМАТИЗАЦИИ

----------

САНКТ-ПЕТЕРБУРГСКИЙ

ГОСУДАРСТВЕННЫЙ УНИВЕРСИТЕТ ТЕЛЕКОММУНИКАЦИЙ

им.проф. М.А. БОНЧ-БРУЕВИЧА

ФАКУЛЬТЕТ ВЕЧЕРНЕГО И ЗАОЧНОГО ОБУЧЕНИЯ

Е.Л Рабкин,  Ю.Б. Фарфоровская

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

БУЛЕВЫ ФУНКЦИИ И ЭЛЕМЕНТЫ ТЕОРИИ ГРАФОВ

МЕТОДИЧЕСКИЕ УКАЗАНИЯ И КОНТРОЛЬНЫЕ ЗАДАНИЯ

САНКТ-ПЕТЕРБУРГ

УДК 621.396.62

Рабкин Е.Л.,  Фарфоровская Ю.Б. ДИСКРЕТНАЯ МАТЕМАТИКА Булевы функции и элементы теории графов методические указания и контрольные задания / СПбГУТ. – СПб

© Санкт-Петербургского государственного университета телекоммуникаций им. проф. М.А. Бонч-Бруевича, 2000

Редакторы:

ЛР № от Подписано к печати

Объем Тираж Зак.

РИО СПбГУТ. 191186, СПб, наб. р. Мойки, 61

Отпеч. множ. т., ст «Факультет ДВО», 191186, СПб, н.р. Мойки, 61.

Введение 4

ЛОГИЧЕСКИЕ (БУЛЕВЫ) ФУНКЦИИ 5

1. Основные логические функции 5

2. Свойства конъюнкции, дизъюнкции и отрицания 10

3. ДНФ, СДНФ, КНФ, СКНФ 13

4. Представление логических функций в виде СДНФ (СКНФ) 15

5. Нахождение сокращенной ДНФ по таблице истинности (карты Карно) 16

6. Полиномы Жегалкина 18

7. Суперпозиция функций. Замыкание набора функций.Замкнутые классы функций. Полные наборы. Базисы 19

8. Некоторые приложения теории булевых функций 22

8.1. Функциональные элементы и схемы 22

8.2. Решение логических задач с помощью теории булевых функций 24

ЭЛЕМЕНТЫ ТЕОРИИ ГРАФОВ 26

9. Общие понятия теории графов 26

10. Эйлеровы и полуэйлеровы графы 27

11. Матрицы и графы. Нахождение путей и сечений с помощью структурной матрицы 31

12. Сети, потоки в сетях. Теорема Форда – Фалкерсона 32

s 34

13. Раскраска графа 35

14. Деревья и их простейшие свойства 38

15. Решение типовых задач 38

16. Индивидуальные задания 46

17. Дополнительные задачи 54

18. Вопросы для самопроверки 56

ЛИТЕРАТУРА 56



Введение

Для успешного выполнения контрольной работы студент должен самостоятельно изучить соответствующий теоретический материал и ознакомиться с решением типовых примеров, приведенных в настоящем издании. Контрольная работа по дискретной математике составлена так, что если студент выполняет ее САМОСТОЯТЕЛЬНО, то подготовка его к зачету займет очень небольшое время. Заметим также, что задачи по дискретной математике НЕ ТРЕБУЮТ предварительных дополнительных знаний и, как нам кажется, любой здравомыслящий человек, претендующий на получение высшего технического образования, должен суметь выполнить эту работу (и это не должно занять у него много времени). Кроме того, современная жизнь абсолютно немыслима без компьютеров, а в основе ЛЮБОГО вычислительного устройства лежат знания именно дискретной математики, (которая является наукой 20-го века, и без ее развития были бы немыслимы успехи технического прогресса). Поэтому освоение ЭЛЕМЕНТАРНЫХ знаний в области дискретной математики расширит кругозор студента, позволит ему в какой-то степени понимать работу вычислительных устройств и лучше ориентироваться в современном мире. Заметим также, что в классический курс дискретной математики входят также такие разделы, как кодирование (необходимое для безошибочной передачи информации на расстояние, именно с помощью кодирования работают Интернет и электронная почта) и теория алгоритмов (в данном издании отсутствуют). Контрольная работа составлена по двум темам: “Булевы функции” и “Элементы теории графов”. Последняя тема важна тем, что сеть связи (телефонной) обычно изображается и изучается как сетевой граф.

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

При возникновении затруднений при решении задач студент может обратиться (устно или письменно) за консультацией на кафедру высшей математики: 193262 СПб, пр. Большевиков, 22.

Студент должен выполнить контрольную работу по варианту, совпадающему с последней цифрой номера его зачётной книжки (см. таблицу). Получив прорецензированную работу, необходимо в кратчайший срок исправить в ней все отмеченные ошибки и недочёты. Если работа не зачтена, то в этой же тетради должны быть заново решены задачи, указанные рецензентом. Тетрадь высылается в университет для повторного рецензирования. Контрольные работы предъявляются преподавателю на зачете вместе с настоящими “Методическими указаниями”.

Вариант

Выполняемые задачи

1

1

11

21

31

41

51

61

71

2

2

12

22

32

42

52

62

72

3

3

13

23

33

43

53

63

73

4

4

14

24

34

44

54

64

74

5

5

15

25

35

45

55

65

75

6

6

16

26

36

46

56

66

76

7

7

17

27

37

47

57

67

77

8

8

18

28

38

48

58

68

78

9

9

19

29

39

49

59

69

79

0

10

20

30

40

50

60

70

80

ЛОГИЧЕСКИЕ (БУЛЕВЫ) ФУНКЦИИ

1. Основные логические функции

Обозначим через E = {0, 1} – множество, состоящее из двух чисел. Числа 0 и 1 являются основными в дискретной математике. Часто они интерпретируются как “ложь” (л ={0}) и как “истина” (и ={1}). Декартово произведение E* Е* Е* …* E=En является множеством упорядоченных наборов, состоящих из п чисел (нулей и единиц). Как известно, Еп cодержит 2п элементов (упорядоченных наборов). Само множество Еп можно естественным образом упорядочить, для чего достаточно считать каждый набор двоичным разложением целого числа k (0 k 2n1), записанного с помощью п знаков. Упорядочение наборов проводится по числу k .

Например, при п = 3 множество Е3 может быть упорядочено следующим образом.

 

0

000

1

001

2

010

3

011

4

100

5

101

6

110

7

111

Такое упорядочение еще называют “скользящей единицей”.

Этот естественный порядок элементов Еп является самым распространенным, но, как будет видно в разд. 5, иногда удобен другой способ упорядочения.

Логической ( булевой) функцией (или просто функцией) n переменных y = f(x1, x2, …, xn) называется такая функция, у которой все переменные и сама функция могут принимать только два значения: 0 и 1.

Переменные, которые могут принимать только два значения 0 и 1 называются логическими переменными (или просто переменными). Заметим, что логическая переменная х может подразумевать под числом 0 некоторое высказывание, которое ложно, и под числом 1 высказывание, которое истинно. Например, высказывание “Волга впадает в Каспийское море” является истинным и, значит, с точки зрения дискретной математики принимает значение 1, а высказывание “в неделе 8 дней” является ложным, и переменная, которая заменяет это высказывание, принимает значение 0. Имеется много высказываний, которые либо истинны, либо ложны, но о которых мы не знаем, что имеет место на самом деле. Например, высказывание “студент Петров (имеется в виду конкретный человек) имеет дома компьютер”. Такого рода высказывания требуют проверки (конечно, если нам важен этот факт). Поэтому считаем, что переменная, заменяющая это высказывание может принимать значение 0 или 1.

Из определения логической функции следует, что функция п переменных – это отображение Еп в Е, которое можно задать непосредственно таблицей, называемой таблицей истинности данной функции. Например, функция трех переменных f(x,y,z) может определяться следующей таблицей истинности.

 

x

y

z

f(x,y,z)

0

0

0

1

0

0

1

0

0

1

0

1

0

1

1

1

1

0

0

0

1

0

1

1

1

1

0

0

1

1

1

0

Это означает, что f(0,0,0) = 1, f(0,0,1) = 0, f(0,1,0) = 1 и т. д.

Две функции равны, если совпадают их таблицы истинности (на объединенном наборе переменных).

При таком задании наборы Еп всегда упорядочены естественным образом, это позволяет определять функцию только последним столбцом (который иногда для экономии места записывается в строчку). Например, в нашем примере функцию f(x,y,z) можно задать так: f = (10110100), это означает, что последний столбец таблицы истинности

Заметим, что все функции п переменных также можно перенумеровать по принципу “скользящей единицы”. Теоретически число таких функций – 22n но некоторые из них являются по существу функциями меньшего числа переменных, а две – вообще константами. Если фактически функция не зависит от некоторой переменной, то такую переменную называют фиктивной.

Теперь можно описать основные функции дискретной математики.

Функции одной переменной y=f(x). Перенумеруем эти функции (их 4) естественным образом и расположим в виде таблицы:

 

x

f0

f1

f2

f3

0

0

0

1

1

1

0

1

0

1

Видно, что f0 (х) = 0, a f3 (х) =1, т. е. эти две функции не зависят от х, f1 (х) = х, т. е. она не меняет аргумента. Функция f2 (х) действительно содержательная функция. Она принимает значения, противоположные значениям аргумента, обозначается f2 (х)= и называется отрицанием (применяют еще обозначение ù x (читается “не x”)).

Функции двух переменных z = f(x,y).

Число этих функций равно 24 = 16. Перенумеруем и расположим их тоже в естественном порядке.

Рассмотрим более подробно эти функции. Две из них f0 = 0 и f15 = 1 являются константами. Функции

являются по существу функциями одной переменной.

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

Перечислим 7 важнейших функций:

1) конъюнкция (функция И)

Заметим, что конъюнкция – это фактически обычное умножение (нулей и единиц). Иногда эту функцию обозначают x&y или xy;

2) дизъюнкция (функция или)

3) импликация (следование)

Иногда импликацию обозначают xy или x  y    (читается “из x следует y”).

Это очень важная функция, особенно в логике. Ее можно рассматривать следующим образом: если х = 0 (т. е. х “ложно”), то из этого факта можно вывести и “ложь”, и “истину” (и это будет правильно), если у = 1 (т. е. у “истинно”), то истина выводится и из “лжи” и из “истины”, и это тоже правильно. Только вывод “из истины ложь” является неверным. Заметим, что любая теорема всегда фактически содержит эту логическую функцию;

4) сложение по модулю 2 (здесь и далее, если не оговорено противное, знаком “+” мы будем обозначать такое сложение):

5) эквивалентность или подобие

Эта f9 = 1 тогда и только тогда, когда х = у. Заметим, что будем применять оба обозначения: ху (в основном при изучении функций) и х~ у (когда речь будет идти о логических операциях);

6) штрих Шеффера

Иногда эту функцию называют “не и” (так как она равна отрицанию конъюнкции);

7) стрелка Пирса (иногда эту функцию называют штрих Лукасевича)

Эта функция является отрицанием дизъюнкции и поэтому иногда ее называют “не или”.

Заметим, что свойства последних двух функций (как будет видно далее) похожи между собой и, может быть, поэтому в литературе их часто путают (т. е. называют f8 штрихом Шеффера, а f14  стрелкой Пирса).

Три оставшиеся функции, (f2 , f4 и f11) особого значения в дискретной математике не имеют.

Заметим, что часто будут рассматриваться функции от функций, т. е. суперпозиции перечисленных выше функций. При этом последовательность действий указывается (как обычно) скобками. Исключение составляет конъюнкция (которая на самом деле является обычным умножением в двоичной системе). Поэтому конъюнкция совершается первой даже если отсутствуют скобки. Например, запись xy yz означает (xy) (yz).

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



Скачать документ

Похожие документы:

  1. Вопросы геологии, петрологии и металлогении метаморфических комплексов Востока ссср, 1968

    Документ
    201 - Вопросы геологии, петрологии и металлогении метаморфических комплексов Востока СССР, 1968. - Владивосток: ДВ филиал СО АН СССР, 1968. – 130 с. АТГФ-70109,
  2. Краткий курс филип котлер издательский дом "вильямс" Москва Санкт-Петербург Киев 2007 ббк (У)65 290-2

    Книга
    Первое знакомство с теорией маркетинга большинства граждан бывшего СССР началось с книги Филипа Котлера "Основы маркетинга", выпущенной издательством "Прогресс" в 1990 году Учебник оказался настолько свое­временным и востребованным,
  3. В. А. Капустин Содержание Лекция

    Лекция
    Универсальная десятичная классификация, появившаяся в результате дальнейшего развития "Десятичной классификации" М.Дьюи, сохранила в своей основе иерархическую структуру, присущую последней.
  4. Бюллетень новых поступлений за декабрь 2010 года (2)

    Бюллетень
    Теория систем и системный анализ [Текст] : учебник для вузов, обучающихся по направлению подготовки 010502 (351400) "Прикладная информатика" / В.
  5. Программа расчета температурных полей и окисления металла в радиоэлектронных приборах tfta V 0 Тип

    Программа
    Программа TFTA v.1.0 (Temperature Field and Tarnishing Analysis version 1.0) предназначена для моделирования процессов окисления и тепломассопереноса, протекающих в радиотехнических материалах и на их поверхности при работе радиоэлектронного

Другие похожие документы..