Esaldi honen bertsio konplexu bat sortu. sailkapen sinpleena forma normalaren hurbilketa disjunktiboaren bidez egiten da.
Jakina, esaldiaren bertsio konplexuago bat da: "Zatiketarik errazena forma normalaren hurbilketa disjunktiboa da, non sistemaren portaera deskribatzen duten adierazpen logikoak forma normalaren disjunktiboan eraldatzen diren".