Yksinkertaisin erottelu tehdään disjunktiivisen normaalimuodon lähestymistavalla.
Tietenkin monimutkaisempi versio lauseesta on "Yksinkertaisin jakelu on disjunktiivisen normaalimuodon lähestymistapa, jossa järjestelmän käyttäytymistä kuvaavat loogiset ilmaisut muutetaan disjunktiiviseksi normaalimuodoksi".