Упроститель Булевой Алгебры
Упрощайте булевы выражения, используя алгебраические законы, метод Куайна — Мак-Класки и минимизацию по картам Карно. Введите любое логическое выражение (AND, OR, NOT, XOR, NAND, NOR) и мгновенно получите минимальную форму SOP/POS, полную таблицу истинности, визуализацию карты Карно, диаграмму вентилей, пошаговое применение законов и эквиваленты только на NAND/NOR.
Упроститель Булевой Алгебры
Поддержите MiniWebtool
Ваш блокировщик рекламы мешает показывать объявления
MiniWebtool бесплатен благодаря рекламе. Если этот инструмент помог, поддержите нас через Premium (без рекламы + быстрее) или добавьте MiniWebtool.com в исключения и обновите страницу.
- Или перейдите на Premium (без рекламы)
- Разрешите показ рекламы на MiniWebtool.com, затем перезагрузите страницу.
О Упроститель Булевой Алгебры
Упроститель булевой алгебры сводит любое логическое выражение к его минимальной форме, используя алгоритм Куайна — Мак-Класки и анализ карт Карно. Вводите выражения с AND, OR, NOT, XOR, NAND, NOR (или символами, такими как &, |, ~, ^, постфиксным A') и мгновенно получайте полную таблицу истинности, цветную карту Карно с петлями простых импликант, таблицу простых импликант с пометками существенных элементов, пошаговый вывод и эквивалентные реализации только на NAND и только на NOR.
Что выдает упроститель
Таблица истинности
Все \(2^n\) комбинаций входных данных с результатом выражения.
Карта Карно
Сетка с кодом Грея, где выделена каждая простая импликанта.
Миним. SOP / POS
Минимум литералов и термов — оптимальные формы.
Простые импликанты
С маркерами существенности — узнайте, какие из них обязательны.
Формы NAND/NOR
Эквиваленты на универсальных вентилях для синтеза схем.
Пошагово
Разбор этапов алгоритма Куайна — Мак-Класки.
Законы булевой алгебры — Справочник
| Закон | Форма ИЛИ (OR) | Форма И (AND) |
|---|---|---|
| Тождество | \( A + 0 = A \) | \( A \cdot 1 = A \) |
| Нулевой элемент | \( A + 1 = 1 \) | \( A \cdot 0 = 0 \) |
| Идемпотентность | \( A + A = A \) | \( A \cdot A = A \) |
| Дополнение | \( A + \overline{A} = 1 \) | \( A \cdot \overline{A} = 0 \) |
| Двойное отрицание | \( \overline{\overline{A}} = A \) | |
| Коммутативность | \( A + B = B + A \) | \( A \cdot B = B \cdot A \) |
| Ассоциативность | \( (A + B) + C = A + (B + C) \) | \( (A \cdot B) \cdot C = A \cdot (B \cdot C) \) |
| Дистрибутивность | \( A \cdot (B + C) = AB + AC \) | \( A + BC = (A+B)(A+C) \) |
| Поглощение | \( A + AB = A \) | \( A(A + B) = A \) |
| Законы де Моргана | \( \overline{A + B} = \overline{A} \cdot \overline{B} \) | \( \overline{A \cdot B} = \overline{A} + \overline{B} \) |
| Склеивание (Consensus) | \( AB + \overline{A}C + BC = AB + \overline{A}C \) | |
Шпаргалка по синтаксису ввода
| Оператор | Допустимые формы | Пример |
|---|---|---|
| AND | &, *, ·, ., сцепление AB, слово AND, ∧ | A&B, AB, A AND B |
| OR | +, |, слово OR, ∨ | A+B, A | B, A OR B |
| NOT | ~, !, ¬, слово NOT, постфикс ' | ~A, !A, A', (AB)' |
| XOR | ^, ⊕, слово XOR | A XOR B, A^B |
| NAND | ⊼, слово NAND | A NAND B |
| NOR | ⊽, слово NOR | A NOR B |
| Implies | ->, =>, слово IMPLIES, → | A -> B |
| Equivalence | <->, <=>, слово IFF, ↔ | A <-> B |
| Константы | 0 1 TRUE FALSE | A + 0, A * 1 |
Алгоритм Куайна — Мак-Класки
Метод Куайна — Мак-Класки — это систематический табличный подход к поиску минимального выражения суммы произведений. В отличие от карты Карно (которая визуальна и ограничена примерно 6 переменными), алгоритм Куайна — Мак-Класки масштабируется и всегда дает гарантированно минимальное покрытие.
- Составление списка всех минтермов — каждой строки таблицы истинности, результат которой равен 1.
- Группировка по количеству единичных битов — сортировка минтермов по числу единиц в их двоичном представлении.
- Объединение соседних групп — пары, отличающиеся ровно на один бит, объединяются, заменяя этот бит прочерком. Повторяется до тех пор, пока объединения возможны.
- Сбор простых импликант — любой терм, который не был объединен дальше, является простой импликантой.
- Построение таблицы простых импликант — сетка, где простые импликанты являются строками, а минтермы — столбцами. Отмечается, какие импликанты покрывают какие минтермы.
- Выбор существенных импликант — любая импликанта, являющаяся единственной, покрывающей какой-либо минтерм, считается существенной.
- Покрытие оставшихся минтермов — выбор дополнительных импликант для покрытия минтермов, еще не охваченных существенными, с минимизацией количества литералов.
Как пользоваться упростителем булевой алгебры
- Введите выражение: Наберите любое булево выражение, используя удобную вам нотацию. Вы можете смешивать стили —
A.B + A'CиA AND B OR NOT A AND Cраспознаются одинаково. - Нажмите «Упростить»: Инструмент проанализирует ввод, построит таблицу истинности, запустит алгоритм Куайна — Мак-Класки и минимизирует выражение.
- Изучите карту Карно: Каждая цветная петля — это простая импликанта. Существенные импликанты нарисованы сплошными линиями, несущественные — пунктиром.
- Просмотрите шаги: Панель пошагового выполнения проведет вас от канонической SOP через поиск простых импликант до минимальной формы.
- Изучите эквивалентные формы: Используйте минимальную POS, если ваша целевая технология — «ИЛИ-от-И», или форму только на NAND при проектировании логики на базе NAND.
Применение
| Область | Сценарий использования |
|---|---|
| Проектирование цифровых схем | Минимизация количества вентилей в комбинационной логике — меньше вентилей означает меньшее энергопотребление, меньший размер кристалла и меньшую задержку распространения. |
| Оптимизация компиляторов | Упрощение условных выражений в if-инструкциях и условиях циклов для снижения стоимости вычисления ветвлений. |
| Программируемая логика (FPGA) | Размещение большего объема логики в доступных таблицах поиска (LUT) за счет создания форм с минимальным количеством литералов. |
| Оптимизация запросов к БД | Переписывание предикатов в предложении WHERE в эквивалентные, но более «дешевые» для вычисления формы. |
| Формальная верификация | Канонические формы (SOP/POS) позволяют проверять эквивалентность двух спецификаций. |
| Обучение / Курсовые работы | Проверка домашних заданий, изучение выбора простых импликант, исследование стратегий группировки на картах Карно. |
FAQ
Что такое упрощение булевой алгебры?
Упрощение булевой алгебры сводит логическое выражение к эквивалентному выражению с меньшим количеством операций и литералов. Более простое выражение означает меньше логических вентилей в «железе», более быстрое выполнение в софте и более легкую проверку человеком. Методы включают применение алгебраических законов, карты Карно и алгоритм Куайна — Мак-Класки — этот инструмент сочетает в себе все три.
Что такое минимальная форма суммы произведений (SOP)?
Минимальная форма суммы произведений записывает булеву функцию как ИЛИ (OR) из наименьшего возможного количества термов произведений, где каждое произведение использует наименьшее возможное количество литералов. Она находится путем расширения функции до её канонической SOP (один минтерм на каждую истинную строку), а затем объединения соседних минтермов с использованием правила \( XY + \overline{X}Y = Y \) до тех пор, пока дальнейшее объединение невозможно. Результатом является минимальная двухуровневая схема И-ИЛИ.
Как работает карта Карно?
Карта Карно — это сетка, в которой строки и столбцы помечены битовыми паттернами кода Грея так, что физически соседние ячейки отличаются ровно на одну переменную. Группы соседних ячеек с «1» размером 1, 2, 4 или 8 соответствуют термам произведений, которые исключают 0, 1, 2 или 3 переменные соответственно. Самые большие возможные группы дают наименьшее количество литералов на терм — стратегия заключается в том, чтобы «покрыть каждую единицу самыми большими допустимыми прямоугольниками».
Что такое простая импликанта?
Простая импликанта — это терм произведения, который охватывает группу минтермов и не может быть объединен с любой другой соседней группой для формирования большей группы. Существенная простая импликанта — это та, которая является единственной импликантой, охватывающей хотя бы один конкретный минтерм; она обязана присутствовать в каждом минимальном покрытии. Несущественные импликанты являются необязательными и включаются только тогда, когда это необходимо для покрытия оставшихся минтермов.
Какой синтаксис ввода принимает упроститель?
Вы можете писать AND как
&, *, ·, . или простое сцепление (AB означает A AND B). OR может быть + или |. NOT может быть ~, !, ¬ или апостроф после переменной (A', (A+B)'). Словесные операторы AND OR NOT XOR NAND NOR IMPLIES IFF также работают, как и стрелочные формы -> и <->. Скобки группируют подвыражения. Константы 0 и 1 (или TRUE/FALSE) представляют фиксированные значения.Почему полезны формы только на NAND и только на NOR?
NAND и NOR называются универсальными вентилями, потому что любая булева функция может быть построена с использованием только одного из них. В реальных кристаллах вентили NAND обычно быстрее и дешевле в производстве, поэтому компиляторы для программируемой логики часто ориентируются на NAND-netlist. Упроститель показывает эквивалентные выражения только на NAND и только на NOR — выражение только на NAND можно прочитать напрямую как двухуровневую схему NAND-NAND, которая структурно идентична схеме И-ИЛИ в теории переключательных схем.
Сколько переменных поддерживает инструмент?
До 8 переменных. Карта Карно отрисовывается для 2, 3 и 4 переменных (размеры сетки 2×2, 2×4 и 4×4 с маркировкой кодом Грея). Для 5 и более переменных таблица истинности вырастает до 32 и более строк, но алгоритм Куайна — Мак-Класки по-прежнему выдает точную минимальную форму; карта Карно в этом случае просто опускается, так как 3D или разделенные карты трудно читаются.
Могу ли я проверить, эквивалентны ли два булевых выражения?
Да — упростите оба выражения независимо. Если их минимальные формы SOP идентичны, они вычисляют одну и ту же функцию. Вы также можете сравнить их таблицы истинности построчно. Упроститель выводит как набор минтермов, так и каноническую SOP, которые являются уникальными «отпечатками пальцев» функции.
Ссылайтесь на этот контент, страницу или инструмент так:
"Упроститель Булевой Алгебры" на сайте https://ru.miniWebtool.com// от MiniWebtool, https://MiniWebtool.com/
команда miniwebtool. Обновлено: 2026-04-19
Вы также можете попробовать наш AI Решатель Математических Задач GPT, чтобы решить ваши математические проблемы с помощью вопросов и ответов на естественном языке.