Mệnh đề tương đương

Bạn cho mình hỏi với, nếu có mệnh đề như thế này:
p->q, r->s
------------- (1)
s->r

(p->q) ^ (r->s) <-> s->r (2)

Thì có phải (1) <-> (2) không bạn?

83% thành viên diễn đàn không hỏi bài tập, còn bạn thì sao?