Vytvořte složitější verzi této věty Nejjednodušší rozdělení se provádí pomocí disjunktivní normální formy.
Samozřejmě, složitější verze věty je "Nejjednodušší rozdělení je s disjunktivní normální formou, kde logické výrazy popisující chování systému jsou transformovány do disjunktivní normální formy".