2. Систему {, } исследуем на полноту.

Построим таблицу принадлежности рассматриваемых функций {, } классам К₀, K₁, S, M и L.

Классы	K0	K1	S	M	L
	-	+	-	-	-
	+	-	-	-	+
{, }	-	-	-	-	-

В соответствии с критерием Поста – Яблонского система {, } не содержится целиком ни в одном из пяти классов K₀, K₁, S, M и L, следовательно, она полна.

3. Систему {, 1} исследуем на полноту.

Построим таблицу принадлежности рассматриваемых функций

{, 1}классам К₀, K₁, S, M и L.

Классы	K0	K1	S	M	L
	-	+	-	-	-
1	-	+	-	+	+
{, 1}.	-	+	-	-	-

В соответствии с критерием Поста – Яблонского система {, 1} содержится целиком в классе K₁, следовательно, она не полна.

ЛИТЕРАТУРА

1. Яблонский С.В. Введение в дискретную математику. - М.: Наука,1979. –272с.

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

3. Гусева А.И. Учимся информатике: задачи и методы их решения. - М.: ДИАЛОГ-МИФИ, 2003.

8