Diketahui pernyataan p bernilai benar dan q bernilai salah,

~p <=> q

Pembahasan

Kita perlu mengevaluasi setiap pernyataan dengan p bernilai benar (B) dan q bernilai salah (S).
A. p ^ q = B ^ S = S
B. p => q = B => S = S
C. ~p <=> q = ~B <=> S = S <=> S = B
D. ~q => ~p = ~S => ~B = B => S = S
E. ~p v q = ~B v S = S v S = S
Jadi, pernyataan yang bernilai benar adalah C. ~p <=> q.