Minimizacija formule algebre sudova je postupak pretvaranja dane formule u ekvivalentnu formulu koja je zapisana samo pomoću osnovnih operacija (konjunkcije, disjunkcije, negacije), a može se provesti na dva načina:
analitički - postupak se temelji na primjeni svojstava operacija algebre sudova,
grafički (Veitchova metoda, Karnoughov graf) - temelji se na korespondenciji skupovskih i logičkih operacija.