Как в Maple решать такую задачу: дается булева формула, надо выделить в ней внешнюю функцию с главными подформулами? То есть, например (используется Logic) если есть
Код:
> with(Logic);
> A := (a &and b) &or c;
то внешняя функция - or, а ее главные подформулы - (a and b) и c.