From 902f9aa4c18c07969ca085bd4e0b719907d3a6c1 Mon Sep 17 00:00:00 2001
From: Mora Unie Youer <mora_unie_youer@riseup.net>
Date: Mon, 20 Jul 2026 19:14:22 +0300
Subject: snapshot: 2026-07-20

---
 jxbgbq.md | 69 +++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
 1 file changed, 69 insertions(+)
 create mode 100644 jxbgbq.md

(limited to 'jxbgbq.md')

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)
-- 
cgit v1.2.3-70-g09d2