Выдержка из книги
Лупанов О.Б.
Кибернетический сборник Выпуск21
Можно считать, что формула F не содержит подформул, тождественно равных константе. Действительно, если бы в формуле F была такая подформула ненулевой сложности, то мы имели бы случай 1, а если бы все такие подформулы имели нулевую сложность, то мы удалили бы их из формулы F, заменив одновременно те двуместные операции, у которых ровно на одно место поступает константа, соответствующими одноместными операциями.