Tahap 1. Gunakan identitas \(\overline{A}=A\cup A'\text{.}\)

Tahap 2. Salah satu dari dua bagian gabungan itu sudah diketahui termuat dalam \(C\text{.}\)

Tahap 3. Gunakan fakta bahwa gabungan dua subhimpunan dari \(C\) tetap merupakan subhimpunan dari \(C\text{.}\)