! Задание на 5 минут, просьба решить прямо сейчас !
Записать рассуждение в логической символике и проверить правильность рассуждения методом резолюций
Намеченная атака удастся, только если захватить противника врасплох или же если позиции его плохо защищены. Захватить его врасплох можно только, если его позиции плохо защищены. Значит, атака не удастся.