помогите решить логическую задачу!
По обвинению в ограблении банка перед судом предстали Иванов, Петров, Сидоров. Следствием установлено следующее:
1) если Иванов не виновен или Петров виновен, то Сидоров виновен.
2) если Иванов не виновен, то Сидоров не виновен.
Виновен ли Иванов?
Answers & Comments
1) Если Иванов не виновен, то Сидоров виновен (первое условие)
2) Если Иванов не виновен, то Сидоров не виновен.
А Сидоров не может быть одновременно и виновен и не виновен, значит Иванов виновен.