snapshot: 2026-07-20

1 files changed, 69 insertions, 0 deletions

diff --git a/jxbgbq.md b/jxbgbq.md
new file mode 100644
index 0000000..5e65c0f
--- /dev/null
+++ b/jxbgbq.md
@@ -0,0 +1,69 @@
+---
+id: jxbgbq
+date: 2026-07-20T15:20:55+0300
+languages: [ru]
+aliases:
+
+reviews:
+
+tags:
+- draft
+- knowledge
+---
+# Минимизация функций алгебры логики
+
+Минимизация ФАЛ - это процесс преобразования логической функции к более простому виду с сохранением 
+её значений. Основная цель минимизации - уменьшить количество логических элементов, входов и 
+соединений в цифровой схеме.
+
+В результате этих алгоритмов получаются ТДНФ или ТКНФ - тупиковые формы, которые не представляется 
+возможность минимизировать дальше. Для получения МДНФ или МКНФ (минимальных ДНФ и КНФ) необходимо 
+отсматривать все возможные ТДНФ и ТКНФ и сравнивать их с помощью матрицы покрытия.
+
+Основные методы минимизации:
+1. Алгебраический метод
+Основан на применении законов булевой алгебры - логических эквивалентностей.
+Основной сутью является "склеивание" термов - создание из двух термов одного засчёт логической 
+эквивалентности, убирающей необходимость в одной из переменных.
+
+В ходе этого алгоритма получаются СкДНФ или СкКНФ - сокращённые ДНФ и КНФ - они содержат все простые 
+имкликанты данной булевой функции.
+
+Пример:
+$F = \overline{A}B + AB = B(\overline{A} + A) = B$
+
+Недостатки:
+- Много шагов для минимизации
+- Часто можно не прийти к минимальной форме из-за различных вариантов склеивания
+
+2. Карты Карно
+Самый распространённый метод для функций до 5-6 переменных (при большем количестве переменных метод 
+становится слишком трудоёмким для человека).
+
+На карту наносятся значения функции в определённом порядке. Далее однозначные соседние клетки 
+объединяются в группы размером степени 2 (1, 2, 4 и т.д.). Для получения ТДНФ склеивают единицы, для 
+ТКНФ склеивают нули и инвертируют переменные в термах.
+
+Преимущества:
+- Прост для использования человеком
+
+3. Метод Квайна - Мак-Класки
+Используется для большого числа переменных. Применяется в программах синтеза логических схем.
+
+Алгоритм:
+1. Записать все минтермы
+2. Сгруппировать по числу единиц в терме
+3. Объединить термы отличающиеся одной переменной
+4. Перегруппировать по количеству склеенных переменных
+5. Повторять шаги 3, 4 пока есть возможность
+6. Выбрать минимальный набор импликант
+
+Преимущества:
+- Подходит для автоматизации процесса минимизации
+
+
+## Up
+- [Алгебра логики](c5oolf)
+
+## Related
+- [Карты Карно (диаграммы Вейча)](5t4nfg)