Конспект лекций ОЛУ Часть1

Контрольные вопросы и задания

1) Доказать тождество

___ _ _______ _ _ _

х1х2х3х2(х1х3)х2=х1х2х3

2) Привести выражения к формам ДНФ и КНФ

_________

_ _ ________

а) х1х2х3х2 (х1х3) х2

_____________

б) х1х2х3(х1х2)х3

с) .

3) Минимизировать функции, заданные конституентами единицы или нуля по методу Квайна - Мак Класки:

f1=(1,3,5,7,8,10,14,15)|1; f2=(0,2,4,5,6,7,13,15)|0

4) Минимизировать функции по картам Карно-Вейча

х1х2х3х4

0 0 0 0

0 0 0 1

0 0 1 0

0 0 1 1

0 1 0 0

0 1 0 1

0 1 1 0

0 1 1 1

1 0 0 0

1 0 0 1

1 0 1 0

1 0 1 1

1 1 0 0

1 1 0 1

1 1 1 0

1 1 1 1

х1х2х3

0 0 0

0 0 1

0 1 0

0 1 1

1 0 0

1 0 1

1 1 0

1 1 1

5) Булева алгебра: булевы функции, определение, способы задания.

6) Основные законы алгебры логики

7) Нормальные формы булевых функций. Алгоритм приведения к нормальным формам.

8) Совершенные формы булевых функций. Предельное разложение Шеннона

9) Минимизация булевых функций. Карты Карно-Вейча.

10) Метод Квайна – Мак Класки

СПИСОК ЛИТЕРАТУРЫ

Основная литература

1. Горбатов В.А. Фундаментальные основы дискретной математики. М.: Наука. Физматлит.1999. – 544с.

или

2. Горбатов В.А. Основы дискретной математики. М.: Высшая математика 1986. – 311с.

3. Коршунов Ю.М. Математические основы кибернетики М: Энергоатомиздат 1987

4. Яблонский С.В. Введение в дискретную математику. М.: Высшая школа, 2001, 384с.

5. Петухин В.А. Дискретная математика. http://www.isu.ru/~slava/do/disc/curshome.htm 1999

Содержание