p: "Bir sayı 2'ye tam bölünür"
q: "Bir sayı çifttir"
Yukarıdaki önermeler için p ⇔ q'nun anlamı nedir?
A) Bir sayı 2'ye tam bölünürse çifttir
B) Bir sayı çiftse 2'ye tam bölünür
C) Bir sayı 2'ye tam bölünür ancak ve ancak çiftse
D) Bir sayı 2'ye tam bölünmezse tektir
