Четверо ребят Дима, Петя, Софья и Маша собираются на прогулку. Дима
пойдет гулять, если будет гулять Петя. Петя обязательно пойдет гулять тогда и
только тогда, когда на улице не будет Маши. Маша пойдет гулять, если вместе с
ней пойдут гулять Софья и Дима.
Как будет выглядеть логическое выражение?