Можно считать, что формула F не содержит подформул, тождественно равных константе. Действительно, если бы в ... - Большая Энциклопедия Нефти и Газа



Выдержка из книги Лупанов О.Б. Кибернетический сборник Выпуск21


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

(cкачать страницу)

Смотреть книгу на libgen

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