اگر p گزاره‌ای درست، q گزاره‌ای نادرست و r گزاره‌ای دلخواه باشد، کدام یک از گزاره‌های مرکب زیر، همواره درست است؟
1 $(\sim p\wedge r)\wedge (p\Leftrightarrow q)$
2 $(\sim p\wedge r)\Leftrightarrow (p\wedge q)$
3 $(\sim q\Leftrightarrow \sim p)\wedge r$
4 $(\sim q\Leftrightarrow p)\Leftrightarrow (p\Leftrightarrow q)$