Tahap 1: gunakan kriteria himpunan klopen sejati.

Tahap 2: pasangan \(\{b\}\) dan \(\{a,c,d\}\) patut diperiksa.