Для двійкових наборів і , де , , вводиться наступне відношення часткового порядку: вважають, що , якщо для всіх . Наприклад, , , тоді .
Клас визначається так:
.
Приклад. Функції .
5. Клас – клас всіх лінійних функцій. Клас складають функції, які зображуються многочленом Жегалкіна першого степеня:
.
Приклад. Функції , а функції .
Класи , , , , перерізаються, але не збігаються, що видно з наступної таблиці, яка називається таблицею Поста, де «+» означає, що функція належить даному класу і «–» – що не належить.
+
–
–
+
+
–
+
–
+
+
+
+
+
+
+
–
–
+
–
+
+
+
–
–
+
+
+
–
+
–
+
–
–
–
+
Перевірка належності булевої функції замкнутим класам 1-4 здійснюється за таблицею істинності. Перевірка належності булевої функції класу здійснюється шляхом побудови полінома Жегалкіна.