Упроститель Булевой Алгебры
Упрощайте выражения булевой алгебры с помощью алгебраических законов, метода Квайна—Мак-Класки и карт Карно в упрощателе булевых выражений MiniWebtool. Введите выражение с AND, OR, NOT, XOR, NAND или NOR, чтобы получить минимальную форму SOP/POS, таблицу истинности, карту Карно, схему логических элементов и эквиваленты только на NAND.
3 бесплатных использования в деньБез регистрацииМгновенный результат
Упроститель Булевой АлгебрыПопробуйте — бесплатно ▼
Введите ниже булево выражение, чтобы получить минимальную форму, таблицу истинности, карту Карно и шаги решения.
Поддержите MiniWebtool
Ваш блокировщик рекламы мешает нам показывать объявления
MiniWebtool остается бесплатным благодаря рекламе. Если этот инструмент помог вам, поддержите нас: перейдите на тариф без рекламы и с большим числом ежедневных запусков или разрешите MiniWebtool.com и обновите страницу.
- Разрешите рекламу для 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
Можно ли вводить минтермы и безразличные условия?
Да. Введите функцию в виде списка минтермов, например F(A,B,C,D) = Σm(1,3,7,11,15) + d(0,2,5), или макстермов с ΠM(…). Можно также использовать записи m(…) или sum m(…), а для безразличных условий — dc(…) или x(…). В таблице истинности и карте Карно они обозначаются X и используются только тогда, когда позволяют расширить группу.
Что такое упрощение булевой алгебры?
Упрощение булевой алгебры сводит логическое выражение к эквивалентному выражению с меньшим количеством операций и литералов. Более простое выражение означает меньше логических вентилей в «железе», более быстрое выполнение в софте и более легкую проверку человеком. Методы включают применение алгебраических законов, карты Карно и алгоритм Куайна — Мак-Класки — этот инструмент сочетает в себе все три.
Что такое минимальная форма суммы произведений (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, которые являются уникальными «отпечатками пальцев» функции.
Как упростить логическое выражение по значениям функции из таблицы истинности?
Запишите функцию в виде минтермов для строк, в которых выходное значение равно 1, затем введите индексы минтермов в формате списка, например F(A,B,C) = Σm(1,3,6). По этой функции упрощатель построит минимальную форму и таблицу истинности. Проверьте, что порядок переменных совпадает с порядком, по которому вы нумеровали строки: при изменении порядка A, B и C меняется двоичный набор, которому соответствует каждый индекс.
Почему в упрощённом булевом выражении меньше слагаемых, но больше литералов?
Минимизация булевой функции может уменьшить одну меру простоты за счёт другой. В выражении может быть меньше произведений, но больше переменных в сумме; эквивалентное выражение может состоять из большего числа коротких произведений. Минимальных эквивалентных форм может быть несколько, поэтому выбирайте вариант, подходящий для вашей схемы или требований задания. Сравнивайте также одинаковые формы — СДНФ с СДНФ или СКНФ с СКНФ, — поскольку в них группируются разные значения функции.
Что означает апостроф после переменной в булевом выражении?
Апостроф после переменной означает НЕ, то есть её отрицание: A' эквивалентно ~A или !A в синтаксисе этого упрощателя. Например, AB' означает A И НЕ B. Частая ошибка — поставить апостроф после целого выражения без скобок: (A+B)' означает отрицание всего выражения ИЛИ, а A+B' — отрицание только B. Скобки помогают указать, к чему именно относится отрицание.
Ссылайтесь на этот контент, страницу или инструмент так:
"Упроститель Булевой Алгебры" на сайте https://ru.miniWebtool.com/упроститель-булевой-алгебры/ от MiniWebtool, https://MiniWebtool.com/
команда miniwebtool. Обновлено: 2026-04-19
Продвинутые математические операции:
- Калькулятор матрицы смежности Новый
- Антилогарифмический Калькулятор
- Калькулятор бета-функции
- Калькулятор биномиального коэффициента
- Калькулятор биномиального распределения
- Побитовый калькулятор Популярное
- Упроститель Булевой Алгебры Новый
- Калькулятор центральной предельной теоремы
- Калькулятор китайской теоремы об остатках
- Комбинированный калькулятор
- Калькулятор дополнительной функции ошибки
- Калькулятор комплексных чисел Популярное
- Калькулятор цепных дробей
- Калькулятор беспорядков (субфакториал)
- Калькулятор кратчайшего пути Дейкстры
- Калькулятор Энтропии
- Калькулятор функции ошибки
- Калькулятор функции Эйлера
- Калькулятор экспоненциального распада
- Калькулятор экспоненциального роста: высокая точность
- Калькулятор экспоненциального интеграла
- Калькулятор показателей (высокая точность)
- Калькулятор расширенного алгоритма Евклида
- Калькулятор факториала Популярное
- Калькулятор гамма-функции
- Калькулятор золотого сечения
- Калькулятор раскраски графов Новый
- Валидатор последовательности степеней графа
- Калькулятор Порядка в Теории Групп Новый
- Калькулятор полураспада
- Проверка Гамильтонова Пути Новый
- Калькулятор формулы включений-исключений Новый
- Решатель Карты Карно (K-Map) Популярное
- Решатель Линейного Программирования Новый
- Калькулятор стационарного распределения цепи Маркова
- Калькулятор минимального остовного дерева
- Калькулятор Модульного Возведения в Степень Новый
- Калькулятор модулярного мультипликативного обратного
- Калькулятор отрицательного биномиального распределения Новый
- Калькулятор сетевого потока (Максимальный поток) Новый
- Калькулятор процентного роста
- Калькулятор перестановок
- Калькулятор перестановок с повторениями Новый
- Калькулятор принципа голубятни
- Проверка планарного графа Новый
- Калькулятор распределения Пуассона
- Калькулятор корней многочленов с подробными шагами
- Калькулятор первообразного корня
- Калькулятор вероятности
- Калькулятор распределения вероятностей
- Калькулятор пропорций
- Калькулятор квадратичных формул
- Калькулятор Колец и Полей Новый
- Калькулятор округления Новый
- Научный Калькулятор
- Калькулятор экспоненциальной записи
- Калькулятор теории множеств Популярное
- Калькулятор значащих цифр Новый
- Решатель задачи о стабильных браках Новый
- Калькулятор чисел Стирлинга
- Калькулятор суммы кубов
- Калькулятор суммы последовательных чисел
- Калькулятор суммы квадратов
- Калькулятор топологической сортировки Новый
- Решатель задачи коммивояжёра (TSP) Новый
- Генератор таблицы истинности
- Генератор диаграммы Венна (3 множества)