Najprostsze dzielenie odbywa się przy użyciu dysjunkcyjnej formy normalnej.
Oczywiście, bardziej złożona wersja zdania brzmi: "Najprostszym podziałem jest podejście dysjunkcyjnej formy normalnej, w którym wyrażenia logiczne opisujące zachowanie systemu są przekształcane w dysjunkcyjną formę normalną".