По обвинению в ограблении перед судом предстали Иванов, Петров, Сидоров

Следствием установлено следующее:
1) Если Иванов не виновен или Петров виновен, то Сидоров виновен.
2) Если Иванов не виновен, то Сидоров не виновен.
Виновен ли Иванов?

логическая задача по информатике... постройте таблицу истинности