Упроститель логических выражений
Используйте этот инструмент напрямую — никаких перенаправлений и регистрации не требуется.
Ввод логического выражения
Упрощенное выражение
Таблица истинности
Сеть ворот
Как работает упрощение логических выражений
Упрощение булевой алгебры сводит сложные логические выражения к их минимальной эквивалентной форме с помощью набора алгебраических законов. Каждая цифровая схема, от базовых вентилей до сложных процессоров, работает на основе логической логики, а упрощение напрямую снижает количество вентилей, энергопотребление и задержку распространения в реальном оборудовании.
Сумма продуктов (СОП)
Стандартная форма, в которой термины AND объединяются по ИЛИ. Любую логическую функцию можно выразить в SOP, и она напрямую отображается в двухуровневую сеть логических элементов И-ИЛИ.
Основные импликанты
Главный импликант — это термин продукта, который нельзя объединить с другим термином для создания более простого термина. Метод Куайна-МакКласки систематически находит все основные импликанты.
Основные импликанты
Существенная основная импликанта покрывает по крайней мере один минтерм, который не покрывает ни одна другая основная импликанта. Минимальное покрытие должно включать все основные основные импликанты.
Законы де Моргана и булевы тождества
Эти фундаментальные тождества позволяют преобразовывать и упрощать логические выражения. Упроститель применяет их автоматически.
| Идентификационное имя | Выражение | Описание |
|---|---|---|
| Де Морган 1 | (AB)' = A' + B' | NAND равно ИЛИ дополнений |
| Де Морган 2 | (A+B)' = A'B' | NOR равно AND дополнений |
| Поглощение | A + AB = A | Удаляет избыточные условия продукта. |
| Консенсус | AB + A'C + BC = AB + A'C | Устраняет избыточные консенсусные условия |
| Дополнить | A + A' = 1 | AA' = 0 | Переменная ИЛИ ее дополнение всегда равно 1 |
| Идемпотент | A + A = A | AA = A | Повторяющиеся термины сворачиваются в один термин |
Алгоритм Куайна-МакКласки шаг за шагом
Метод Куайна-МакКласки представляет собой табличный метод, который систематически находит минимальную форму SOP логической функции. В отличие от K-карт, он работает для любого количества переменных и удобен для компьютера.
- 1 Перечислите все минтермы. Преобразуйте каждую строку, где выходной сигнал равен 1, в ее двоичное представление и сгруппируйте по количеству 1-битов.
- 2 Объединить соседние группы. Объедините пары, которые отличаются ровно одним битом, заменив этот бит тире (не важно). Повторяйте до тех пор, пока слияния больше не станут возможными.
- 3 Определите основные импликанты. Любой термин, который невозможно объединить дальше, является основным импликантом. Соберите их все в таблицу основных импликант.
- 4 Выберите существенные основные импликанты. Найдите каждый минтерм, покрытый ровно одной основной импликантой — эта импликанта существенна. Включите все необходимое в окончательное выражение.
- 5 Покройте оставшиеся минтермы. Для любых минтермов, еще не охваченных основными, жадно выбирайте дополнительные основные импликанты, чтобы минимизировать общее количество терминов.
Сопутствующие инструменты
Изучите эти специальные страницы инструментов, чтобы продолжить рабочий процесс с настройками логики, Arduino, печатных плат и схем, ориентированных на преобразование.
Logic Gate Diagram Tool
Build clear gate-level logic diagrams and validate signal flow.
Открыть инструментArduino Circuit Maker
Document board pin connections, modules, and wiring paths quickly.
Открыть инструментPCB Schematic Tool
Draft production-ready schematic structures before PCB layout.
Открыть инструментTruth Table To Logic Circuit
Generate gate-level logic from truth-table behavior for quick validation and learning.
Открыть инструмент