Правильно ли построено рассуждение?
Работа некоторого автоматического устройства, имеющего механизмы p,q,r удовлетворяет условиям: если не срабатывает механизмы p или r или оба вместе, то срабатывает q. Если срабатывает p или q или оба вместе, то
не срабатывает r. Отсюда можно сделать вывод, что если срабатывает механизм r, то срабатывает и p