Функции, сохраняющие единицу

Обозначим как T ₁ множество всех булевских функций, которые на единичном наборе значений переменных принимают значение 1. О таких булевских функциях говорят, что они сохраняют единицу, т.е. Т ₁ = { f (x ₁,..., x _n) ½ f (1,..., 1) = 1 }.

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