О сложности проблемы разрешения для некоторых классов предикатных формулстатья