Завдання № 8
Функцію f(x1, x2, x3,x4) записати у вигляді таблиці істинності та у вигляді нормальної та досконалої формах зображення.
Методом резолюцій довести, що одна з формул є логічним наслідком деяких висловів або впевнитись у противному. Індивідуальні завдання
1.1
. КНФ, СКНФ.
1.2
2
2.1
.
ДНФ, СДНФ.
2.2
.
3.1
.
КНФ, СКНФ.
3.2
.
4.1
.
ДНФ, СДНФ.
4.2
.
5.1
.
КНФ, СКНФ.
5.2
.
6.1
.
ДНФ, СДНФ.
6.2
.
7.1
.
КНФ, СКНФ.
7.2
.
8.1
.ДНФ,
СДНФ
8.2
.
9.1
.
КНФ, СКНФ.
9.2
.
10.1
.
ДНФ, СДНФ.
10.2
.
11.1
.
КНФ, СКНФ.
11.2
.
12.1
.
ДНФ, СДНФ.
12.2
.
13.1
.
КНФ, СКНФ.
13.2
.
14.1
.
ДНФ, СДНФ.
14.2
.
15.1
.
КНФ, СКНФ.
15.2
.
16.1
. ДНФ, СДНФ.
16.2
.
17.1
.
КНФ, СКНФ.
17.2
.
18.1
.
ДНФ, СДНФ.
18.2
.
19.1
. КНФ, СКНФ.
19.2
.
20.1
.
ДНФ, СДНФ.
20.2
.
21.1
. КНФ, СКНФ.
21.2
.
22.1
.
ДНФ, СДНФ.
22.2
.
23.1
. КНФ, СКНФ.
23.2
.
24.1
.
ДНФ, СДНФ.
24.2
.
25.1
. КНФ, СКНФ.
25.2
.
26
26.1
.
ДНФ, СДНФ.
26.2
.
27
27.1
.
КНФ, СКНФ.
27.2
.
28
28.1
.
ДНФ, СДНФ.
28.2
.
29
29.1
.
КНФ, СКНФ.
29.2
.
30
30.1
. ДНФ, СДНФ.
30.2
.
Список літератури
Бардачев Ю.Н., Соколова Н.А., Ходаков В.Е. Основы дискретной математики. – Херсон, ХГТУ, 2000. – 356 с.
Комп’ютерна дискретна математика: Підручник/ Бондаренко М.Ф., Білоус Н.В., Руткас А.Г. – Харків: Компанія СМІТ, 2004. – 480 с.
Горбатов В.А. Основы дискретной математики. – М.: Высшая школа, 1986.– 312 с.
Капітонова Ю.В. та ін. Основи дискретної математики/ Ю.В.Капітонова, С.Л. Кривий, О.А. Летичевский та ін. – К.: Наукова думка, 2002. – 578 с.
Клини С. Математическая логика. – М.: Мир,1973. – 480 с.
Касаткин В.Н. Необычные задачи математики. – К.: Радянська школа, 1987. -125 с.:іл.
Кузин Л.Т. Основы кибернетики: в 2-х т.– Т. 2. Основы кибернетических моделей: Учебное пособие для вузов. – М.: Энергия, 1979. – 584 с.: ил.
Кузнєцов О.П., Адельсон –Вельский Г.М. Дискретная математика для инженера. – М.: Энергия, 1980. -344с.
Лихтарников Л.М., Сукачева Т.Г. Математическая логика. – М.: Высшая школа, 1999. – 200 с.
Ловас Л., Палмер М. Прикладные задачи теории графов. Теория паросочетаний в математике , физике, химии.
Цой С., Цхай С.М. Прикладная теория графов. – Алма-Ата: Наука, 1971. – 500 с.: ил.
Яблонский С.В. Введение в дискретную математику. – М.: Наука, 1986. – 384 с.