A mozno to nebolo spravne, uz mi z tych negacii uplne drbe Este raz od zaciatku:

f = ac + a'bcd' + ab'd + a'b'd + bc'd' = ac + a'bcd' + b'd(a + a') + bc'd' = ac + a'bcd' + b'd + bc'd' = ac + bd'(a'c + c') + b'd = ac + bd'(c' + a') + b'd = ac + bd'(ac)' + b'd = ac + bd' + b'd

Toto je asi spravny vysledok, uz sa mi nad tym nechce uvazovat.
Te posledny krok je tiez absorpce negace: ac + bd'(ac)' je jak keby tam bolo X+(X' * Y) a to je X + Y t.j. ac + bd'