Đánh giá biểu thức sau: ¬P ↔ (Q → R) khi P = sai, Q = đúng, và R = sai