Домашнее задание №1 по курсу «Математическая логика и теория алгоритмов» (стр. 1 )

Домашнее задание №1 по курсу «Математическая логика и теория алгоритмов».

Тема: Представления функций алгебры логики.

Задание 1.1

Преобразовать используя формулу дизъюнк­тивного разложения по совокупности переменных , пред­ставляя получаемые функции от двух переменных формулами над множеством элементарных связок: отрицание, конъюнкция, дизъюнкция, импликация, сумма по модулю два, эквиваленция, запрет, штрих Шеффера, стрелка Пирса.

№		n	k		№		n	k
1	001	1	2		16	110	2	3
2	001	1	3		17	110	2	4
3	001	1	4		18	110	3	4
4	001	2	3		19	111	1	2
5	001	2	4		20	111	1	3
6	101	2	4		21	111	1	4
7	101	3	4		22	111	2	3
8	001	3	4		23	111	2	4
9	001	1	2		24	111	3	4
10	001	1	3		25	111	1	2
11	001	1	4		26	111	1	3
12	001	2	3		27	111	1	4
13	110	1	2		28	111	2	3
14	110	1	3		29	111	2	4
15	110	1	4		30	111	3	4

Задание 1.2.

1.2.1 Выяснить вопрос о равносильности ДНФ сведением их к СДНФ.

1.2.2 Преобразовать с помощью законов дистрибутивности в КНФ, упростить полученное выражение.

№
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31

Задание 1.3