Логикалық функцияларды олардың аналитикалық көрінісін жеңілдету үшін түрлендіру минимизация деп аталады. "Минимизация" ұғымы белгілі бір келісімдерді талап етеді, оны түсіну керек. Жеңілдетуді алынған эквивалентті функциядағы айнымалылар саны, алынған өрнектегі теріске шығару санын азайту, алынған ФАЛДЫ интегралды схемалар деңгейіне ауыстыру кезінде қарапайым схемалық іске асыру және т.б. тұрғысынан қарастыруға болады. Дисьюнктивті немесе конъюнктивалық қалыпты форма, егер олар барлық ДНФ(Дизъюнкти́вная норма́льная фо́рма ) немесе КНФ (Конъюнктивная нормальная форма)арасындағы айнымалылардың ең аз жиынтық санын қамтыса, минималды болады деп санаймыз. Бұл жағдайда айнымалылардан бас тарту саны ескерілмейді. Азайту әдістерін бірнеше түрге бөлуге болады:
Логикалық функцияларды тікелей түрлендіру әдісі.
Анықталмаған коэффициенттер әдісі.
Аналитикалық әдістер (Квайн11 әдісі, Квайн – Мак-Класки әдісі).
Карталарды азайту әдісі (Карнот карталары, Вейч диаграммалары).
6. Логикалық функциялардың техникалық интерпретациясы Логикалық өрнектерге сәйкес компьютерлік схемалар жасалады. Бұл жағдайда сіз келесі әрекеттер тізбегін ұстануыңыз керек.
1. Схеманың ауызша сипаттамасы.
2. Ауызша сипаттаманы ресімдеу (кіріс/шығыс деректерін таңдау, функцияны ақиқат кестесімен жазу).
3. Ақиқат кестелеріне сәйкес функциялардың дисьюнктивті (конъюнктивалық) қалыпты түрінде жазылуы.
4. Оларды жеңілдету үшін логикалық тәуелділіктерді азайту.
5. Алынған өрнектерді элементар функциялардың таңдалған логикалық толық базасында көрсету.
6. Құрылғы схемасын құру.
7. Алынған схеманың жұмысын тексеру.