Proof complexities on a class of balanced formulas in some propositional systems

В настоящей работе для одного класса балансированных формул исследованы четыре сложностные характеристики выводов в двух пропозициональных системах: в системе, основанной на обобщенном методе расщепления, и в системе, основанной на определяющей дизъюнктивной нормальной форме. Для всех исследуемых величин получены одинаковые по порядку (по логарифмической шкале) верхние и нижние оценки.