помогите по математической логике!))

Если выиграет самарский "Спартак" (А) , то Самара будет торжествовать (В) . Если же выиграет саратовский "Сокол" (С) , то торжествовать будет Саратов (Д) . Выиграет или "Спартак" или "Сокол". Однако если выиграет "Спартак", то Саратов не будет торжествовать, а если выиграет "Сокол" , то торжествовать не будет Самара. Вытекает ли отсюда, что Самара будет торжествовать тогда, и только тогда, когда не будет торжествовать Саратов?

Подскажите как составить формулу