Если выиграет самарский «Спартак», то Самара будет торжествовать. Если же выиграет саратовский «Сокол», то торжествовать будет Саратов. Выиграет или «Спартак», или «Сокол». Однако если выиграет «Спартак», то Саратов не будет торжествовать, а если выиграет «Сокол», то торжествовать не будет Самара. Вытекает ли отсюда, что Самара будет торжествовать тогда и только тогда, когда не будет торжествовать Саратов? Помогите составить формулу по математической логике и решить задачу