Układy logiczne

Minimalizacja wyrażeń boolowskich to,proces przekształcania wyrażeń boolowskich w celu otrzymania możliwie najprostszej postaci wyrażenia. Dokładniej minimalizacja wyrażenia boolowskiego to minimalizacja długości wyrażenia boolowskiego zapisującego daną funkcję boolowską. Odpowiada to minimalnej ilości dwuwejściowych bramek AND i OR realizującej daną funkcję boolowską.

Do znanych i praktycznie stosowanych metod minimalizacji dla małej liczby zmiennych należą:
• metoda tablic Karnaugh
• metoda Quine’a – McCluskey’a

Dla dużej liczby zmiennych stosuje się najczęściej program komputerowy do minimalizacji wyrażeń boolowskich o nazwie ESPRESSO. Ściśle rzecz biorąc jest kilka programów ESSPRESSO m.in. program ESPRESSO II i ESPRESSO-MV .