Tahap 1: uji apakah salah satu dari tiga himpunan buka sejati mempunyai komplemen buka.

Tahap 2: komplemennya ialah \(\{c,d\}\text{,}\) \(\{d\}\text{,}\) dan \(\{c\}\text{.}\)