İpucu:
Kümelerde kesişim, tümleme, eşitlik ve altküme kavramlarının nasıl tanımlandığını bildiğini varsayıyorum.
x∈A≡p ve x∈B≡q dersek x∈∅≡0 ve x∈∖A≡p′ olur. Geriye sadece
[(p∧q)⇔0]⇔(q⇒p′) bileşik önermesinin totoloji olduğunu göstermek kalıyor. Bu da zor olmasa gerek.