Реферат по дисциплине Дискретная математика на тему Функционально полные базисы булевых функций. Пять важнейших замкнутых класса T0, T1, S, L, M. Теорема Поста о функциональной полноте

• Название: Реферат по дисциплине Дискретная математика на тему Функционально полные базисы булевых функций. Пять важнейших замкнутых класса T0, T1, S, L, M. Теорема Поста о функциональной полноте
• Дата: 16.05.2022
• Размер: 150.12 Kb.
• Имя файла: lekcija_6_polnota_sistemy_bulevykh_funkcij.docx
• Тип: Реферат; #531890
• страница: 3 из 3

x₂ :

x1	x2	x2	x1 x2
0	0	1	0
0	1	0	0
1	0	1	1
1	1	0	0

Так как 10 11, а

f 10 1

f11  0 , то

f₁ не монотонная.

1

1
Составим таблицу истинности для функции

f₂  x₁  x₂ :

x1	x2	x1	x2	x1  x2
0	0	1	1	1
0	1	1	0	0
1	0	0	1	1
1	1	0	0	1

Так как 00 01, а

f00 1

f01  0 , то

f₂ не монотонная.

2

2
Заполним критериальную таблицу:

	T0	T1	S	L	M
f1	–	+	+	+	+
f2	+	–	+	+	+

На основании критерия Поста делаем вывод, что система является функционально полной.