Gerðu flóknari útgáfu af setningunni Einfaldasta skiptingin er gerð með disjunctive normal form nálgun.
Auðveldasta skiptingin er með disjunctive eðlilegum formi nálgun þar sem rökrétt tjáningar lýsa hegðun kerfisins eru breytt í disjunctive eðlilegum formi. "