Наиболее подходящей формализацией для суждения "Если Алиса сдаст зачет сегодня, то будет участвовать в Дне первокурсника или эстафете" является формула...