Два набора аргументов называются противоположными, если любая из их компонент принимает противоположные значения.

x=(0101) =(1010)

Булева функция называется самодвойственной, если она является двойственной по отношению к самой себе, то есть принимает противоположные значения на противоположных наборах аргументов.

Пример 3.3. Самодвойственной функции является: у= . Не самодвойственные функции: у=х₁*х₂; у=х1Vх2; у=х₁Åх_2.

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

К₀ (+) сохраняет константу ноль, (-) не сохраняет константу ноль;

К₁ (+) сохраняет константу единица, (-) не сохраняет константу;

К_л (+) линейная ,(-) нелинейная;

К_м (+) монотонная , (-) не монотонная;

К_с (+) самодвойственная, (-) не самодвойственная.

Таблица 3.1.

Функция	К0	К1	Кл	Км	Кс
0	+	-	+	+	-
1	-	+	+	+	-
	-
	+	+	-	+	-
	+	+		+	-
	+	-	+	-	-
	-		+		-
	+			-
	-
х1|х2	-		-
	-

Функциональная полнота системы