Если - минимальная глубина схемы, вычисляющая функцию , то:

вопрос

Правильный ответ:

Оставить комментарий

Отправить

• # Теория Г в сигнатуре S - это произвольное:
• # Если S не пусто, , то для того, чтобы F был фильтром нужно:
• # Для любой формулы А, формула А →​ А есть:
• # Для произвольных формул А, В:
• # В выводе секвенции принципиально новое, не содержащегося в секвенции всегда: