Вводится скобочнойая характеристика пропозициональной формулы в базисе из отрицания, многократных конъюнкций, многократных дизъюнкций и многократных эквивалентностей. Доказывается, что задачи проверки выполнимости пропозициональной формулы с любой заранее заданной скобочной характеристикой принадлежат классу {\bf P}. Тем самым получается новое иерархическое разбиение исходной NP-полной задачи выполнимости на подзадачи из класса {\bf P}. При этом каждая задача из иерархии допускает бесконечное множество исходных данных.