Определение

T₀ - класс булевых функций, сохраняющих константу 0, т.е. функций, для которых выполняется равенство f(0,...,0) = 0.

Например, к этому классу относится функция , но не относится функция . Всего различных булевых функций от n переменных, принадлежащих классу T₀, существуют ровно половина от числа всех булевых функций, то есть ровно 2^2n-1.

Определение

T₁ - класс булевых функций, сохраняющих константу 1, т.е. функций, для которых выполняется равенство f(1,...,1) = 1.

Например, к этому классу относится функция , но не относится функция . Этот класс так же содержит в себе ровно 2^2n-1 различных функций от n переменных.

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

Для определения принадлежности к классу функций, сохраняющих 0 (сохраняющих 1), необходимо посмотреть на первую (последнюю) строки таблицы истинности.