Z izrazom moraš zajeti vse enke v zgornji tabeli. Odebeljene črte s spremenljivko zraven, ti povedo, kje imajo tiste spremenljivke vrednost 1. Torej če hočeš izbrati prva dva stolpca, potem vzameš X1. Če hočeš izbrati samo drugi stolpec, potem daš X1*X3 (presek X1 in X3).
Ta izraz je lahko v več oblikah, tukaj je bila zahtevana MDNO (minimalna disjunktivna normalna oblika), torej mora biti ta izraz narejen kot vsota produktov, hkrati pa mora biti še minimalen.
Na voljo imaš dva operatorja + (logični ali), * (logični in) ter ' (negacija). Cilj je, da hkrati zajameš čimveč enk skupaj, saj je tako izraz minimalen. Paziti je treba tudi, če nekatere celice med seboj niso sosedne, potem jih ne smeš grupirati, samo to se pojavi komaj pri n = 5.
To bi bilo na kratko, mogoče sem še kako stvar izpustil, lahko pa si na googlu prebereš kaj več