Проверить истинность рассуждений(дискретная математика)

тут сказано неверно так как , было сказано ,что Петров и Сидоров сделают работу , если ее сделает иванов.Иванов не сделает если сделает Петров. А Сидоров не справится с работой, так как было сказано что Сидоров и Петров сделают, если сделает Иванов