Petunjuk R.116.1.

Tahap 1: hanya \(\{a,b\}\) yang dapat menjadi sisi pemisahan sejati.
Tahap 2: tentukan apakah komplemennya \(\{c,d\}\) buka.
in-context