p, q birer önerme olmak üzere.

(p' -> q') <--> (p' (üste bakan ok işareti) q' )
A)0
B)1
C) p' (aşağı bakan ok işareti) q
D) p ->q'
E)p'