3.1

3.1


Система функций F называется замкнутым классом, если её замыкание совпадает с F, т.е множество формул над F не выходят за пределы этого класса.

Класс Т0 – множество функций, сохраняющих ноль. В него попадают функции, которые на нулевом наборе равны нулю. Данный класс содержит в себе 2^((2^n)-1) функций.

Тип так должно быть записано
Док-во замкнутости класса Т0.

Класс S – класс самодвойственных функций. Содержит в себе 2^(2^(n-1)) функций. Как должно быть записано – смотрите выше.

Док-во замкнутости класса S