İ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\in A\equiv p ve x\in B\equiv q dersek x\in\emptyset \equiv 0 ve x\in\setminus A\equiv p' olur. Geriye sadece
[(p\wedge q)\Leftrightarrow 0]\Leftrightarrow (q\Rightarrow p') bileşik önermesinin totoloji olduğunu göstermek kalıyor. Bu da zor olmasa gerek.