Term - usporiadaná skupina premenných a operátorov. (termom hovoríme implikanty)
ÚNDF = suma súčinov, kompletný výpis, zápis pre jednotky
ZNDF = skrátená normálna disjunktná forma - niečo eliminujeme (môže existovať viacero)
MNDF = minimálna normálna disjunktná forma - eliminujeme všetko čo sa dá (môže existovať viacero)
Skrátený zápis - ∨(0,2,4,6) = 1(0,2,4,6) = Σm(0,2,4,6)