Н.И. Калядин

Практикум

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

(часть III. Функции алгебры логики)

Учебно-методическое издание

Николай Иванович Калядин

Практикум

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

(часть III. Функции алгебры логики)

В авторской редакции

Компьютерная верстка Пономарев Е.В.

Подписано в печать Бумага офсетная.

Формат 60х84/16. Печать офсетная. Усл. печ. л. .

Уч.-изд. л. . Тираж 50экз. Заказ № .

Отпечатано в типографии издательства ИжГТУ.

Издательство Ижевского государственного технического

университета. 426069, Ижевск, Студенческая, 7

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

Федеральное агентство по образованию

Государственное образовательное учреждение

высшего профессионального образования

“Ижевский государственный технический университет”

Кафедра “Прикладная математика и информатика”

Н.И. Калядин

Практикум

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

(часть III. Функции алгебры логики)

Ижевск 2006

19. 20. 21.

22. 23. 24.

38

Оглавление.

Предисловие………………………………………………………………….......4

1. Функции алгебры логики……………………………………………....5

   1. Основные определения……………………………………………….5

   2. Элементарные функции алгебры логики……………………………6

   3. Выражение одних элементарных функций через другие ………….8

   4. Свойства конъюнкции, дизъюнкции и отрицания………………….9

   5. Свойства сложения по модулю два, импликации и функции

Шеффера и Вебба ……………………………………….....................9

1. Аналитические формы представления ФАЛ………………………10

2. Основные классы функций алгебры логики ……………………….16

3. Методы определения линейности ФАЛ…………………………….17

4. Функционально замкнутые классы. Критерий полноты………….19

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

логики……………………………………………………………………...24

1. Задачи и упражнения I^го типа……………………………………….24

2. Задачи и упражнения II^го типа………………………………............27

3. Задачи и упражнения III^го типа………………………………...........32

Список литературы……………………………………………………………..39

21. (B) + (A) = (AB) + (AB);

(B)(C)(C);

a + (c – b) = (a ~ c) + (b | c);

22. A + B = (A – B) + (B – A);

C (AB),если C A, CB;

(a b)((| c)(| d) = ab.

23. (A – B) + ((A + C) B) = (A – C) + ((A + B)C);

C (AB),если A C;

((a | b) (bc))(c ~ d) = d(cb).

24. (A + (A – B)) (1 – B) = 0;

((A – C) (B – A))(AB);

a ~ (b | c) = (a b) ~ (a +c)b.

1.		2.		3.
4.		5.		6.

5. Ниже приведены диаграммы Эйлера – Венна. Представьте заштрихованные и отдельно не заштрихованные области максимально компактными аналитическими выражениями, в которых бы использовалось минимальное количество логических операций и букв. С этой целью сначала выразите все заштрихованные области через конституенты – конъюнкты, а незаштрихованные через конституенты – дизъюнкты, и только после этого приступаете к упрощению совершенных форм (результаты проверьте на таблицах истинности).