De eenvoudigste indeling wordt gedaan door de disjunctieve normale vorm benadering.
Een meer complexe versie van de zin is natuurlijk: "De eenvoudigste partitionering is met de disjunctieve normale vormbenadering waarbij de logische uitdrukkingen die het gedrag van het systeem beschrijven worden getransformeerd in de disjunctieve normale vorm".