По обвинению в ограблении перед судом предстали Иванов, Петров и Сидоров. Следствием установлено следующее: Если Иванов не виновен или Петров виновен, то Сидоров виновен. Если Иванов не виновен, то Сидоров не виновен. Виновен ли Иванов? a. Виновен b. Не виновен