Определение
T0 - класс булевых функций, сохраняющих константу 0, т.е. функций, для которых выполняется равенство f(0,...,0) = 0.
Например, к этому классу относится функция
, но не относится функция
.
Всего различных булевых функций от n переменных, принадлежащих классу T0, существуют ровно половина от числа всех булевых функций, то есть ровно 22n-1.
Определение
T1 - класс булевых функций, сохраняющих константу 1, т.е. функций, для которых выполняется равенство f(1,...,1) = 1.
Например, к этому классу относится функция
, но не относится функция
.
Этот класс так же содержит в себе ровно 22n-1 различных функций от n переменных.
Хотя классы T0 и T1 содержат по половине всех функций от n аргументов, однако объединение этих классов не совпадает с множеством всех булевых функций,
так как есть функции, которые не принадлежат ни тому, ни другому классу, например, функция
.
Для определения принадлежности к классу функций, сохраняющих 0 (сохраняющих 1), необходимо посмотреть на первую (последнюю) строки таблицы истинности.