terminal formula

Мат. заключительная формула (дерева вывода)