Некоторые классы формул, допускающие полиномиальное распознавание полноты систем функцийтезисы доклада