اگر p گزارهای درست، q گزارهای نادرست و r گزارهای دلخواه باشد، کدام یک از گزارههای مرکب زیر، همواره درست است؟
1 )
$(\sim p\wedge r)\wedge (p\Leftrightarrow q)$
$(\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)$