Ispravno je konju
nkcija.
Znači, da posmatramo dati izraz kao [inlmath]\bigl(\lnot(x\lor\lnot y)\land\lnot z\bigr)\lor\bigl(\lnot(x\land\lnot y)\land z\bigr)[/inlmath].
kad je napisao:ja krenem
[inlmath]\lnot x\land y\land\lnot z\lor{\color{#08F}\lnot x\lor y}\land z[/inlmath]
Plavi deo izraza treba da se nalazi unutar zagrade. Prilikom primene De Morgana ne smeš se tek tako osloboditi zagrada. Znači, nakon primene De Morgana imaš
[dispmath](\lnot x\land y)\land\lnot z\lor(\lnot x\lor y)\land z[/dispmath] pa u ovom prvom delu, [inlmath](\lnot x\land y)\land\lnot z[/inlmath], zbog asocijativnosti konjunkcije nije neophodno pisati zagradu, ali u drugom delu, [inlmath](\lnot x\lor y)\land z[/inlmath] imamo disjunkciju unutar zagrade i konjunkciju, pa kad ne bi bilo zagrade prvo bi se izvršavala konjunkcija, što bi bilo pogrešno. Zbog toga u tom delu zagrada mora da ostane:
[dispmath]\lnot x\land y\land\lnot z\lor(\lnot x\lor y)\land z[/dispmath]
kad je napisao:da spajam prva 3?
pa dobijem [inlmath](\lnot x\land y\land\lnot z)\lor(\lnot x)\lor(y\land z)[/inlmath]
Ti si ovde od ovog desnog dela, [inlmath](\lnot x\lor y)\land z[/inlmath], napravio [inlmath]\lnot x\lor(y\land z)[/inlmath], ali to je pogrešno, jer ne važi asocijacija kad imaš disjunkciju i konjunkciju. Znači, [inlmath](A\lor B)\land C[/inlmath] nije isto što i [inlmath]A\lor(B\land C)[/inlmath] (u šta se možeš i uveriti ako nacrtaš istinitosnu tabelu za jedan i za drugi izraz).
Umesto toga, na [inlmath](\lnot x\lor y)\land z[/inlmath] primeni distributivnost konjunkcije u odnosu na disjunkciju – i dobićeš disjunktivnu normalnu formu.