Вычисление каких конструкций не может происходить вообще?
Вычисление каких подформул вообще невозможно, точнее, бессмысленно?
Вычисление каких подформул не имеет смысла?
Вычисление каких конструкций может происходить не при каждом исполнении формулы?
Вычисление какой подформулы может происходить или не происходить при исполнении общей формулы в зависимости от хода других вычислений?
Вычисление какой подформулы может происходить не при каждом исполнении общей формулы?
В какой из перечисленных форм вычисление всех подвыражений необходимо?
Вычисление какой подформулы не гарантировано при исполнении общей формулы?
Какая из перечисленных форм допускает вычисление не всех подвыражений?
В какой из перечисленных форм вычисление всех подвыражений для получения результата обязательно?
