По обвинению в ограблении банка перед судом предстали Иванов, Петров, Сидоров. Следствием установлено следующее: 1) если Иванов не виновен или Петров виновен, то Сидоров виновен. 2) Неверно, если Иванов виновен, то Сидоров виновен. Кто виновен в ограблении?
В ограблении виновен Иванов, так как Сидоров не мог быть виновным и в то же время не виновным.