The presented research is devoted to the problems of computational complexity theory.
Logic Proof (Tue,) studied this question.