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