Замкнутые классы: сохраняющие константу 0 или 1

Определение

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

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

Определение

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

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

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

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