задача по логике

Если бы он бегал по утрам, то у него было бы крепкое здоровье. Он бегает только в том случае, если н а улице тепло. Сегодня было тепло, но он заболел. Значит, сегодня он не бегал.

Составить логическую формулу