Контрольная Формализуйте данное высказывание, номер: 81599

Формализуйте данное высказывание средствами КЛВ и проверьте его общезначимость при помощи таблицы истинности.
Если из виновности Иванова вытекает виновность Петрова, а из виновности Сидорова - невиновность Иванова, но при этом Петров с Сидоровым всегда ходят на «дело» вместе, то Иванов невиновен.