سوال: چه تعداد از استنتاج های زیر معتبر هستند ؟  (A\leftrightarrow B)\to C\vdash A\leftrightarrow (B\to C)\\
(A\leftrightarrow B)\wedge C\vdash A\leftrightarrow (B\wedge C)\\
(A\leftrightarrow B)\vee C\vdash A\leftrightarrow (B\vee C)\\
(A\leftrightarrow B)\leftrightarrow C\vdash A \leftrightarrow (B\leftrightarrow C)
گزینه‌ها:
1. 1
2. 2
3. 3
4. 4
پاسخ صحیح: گزینه 2