Per trattare i sottogoal del tipo
(e quelli equivalenti del tipo
), si procede nel modo seguente:
se il letterale selezionato contiene n variabili
e il sottogoal è
, si normalizza e si nega la risposta a Q rispetto soltanto a
e si procede come al solito.