5 Формулировка теоремы Поста о предполных классах

16.9.2017. Если даны булевы функции и это их множество не содержится ни в одном из пяти ранее определённых нами классов, то отрицание, конъюнкция и дизъюнкция (а значит и все остальные функции) можно выразить через данные функции.

Александр Васильевич Спивак.