p: "ABCD bir karedir" ve q: "ABCD'nin tüm kenar uzunlukları eşittir" önermeleri veriliyor. p ⇒ q önermesinin karşıtı aşağıdakilerden hangisidir?