Какие логические операторы поддерживаются в выражениях?

Поддерживаются ИЛИ (+), И (символ · или слитное написание), НЕ (' или !), XOR (^) и круглые скобки.

Сколько переменных может содержать функция?

Инструмент поддерживает работу с 2, 3 или 4 логическими переменными (A, B, C, D).

Что представляет собой ввод через минтермы?

Это перечисление через запятую десятичных номеров наборов входных переменных, на которых функция равна единице (например, 0,1,2,4,5,6).

Как строится карта Карно в результатах?

Карта формируется в текстовом виде, где строки и столбцы упорядочены по коду Грея для наглядного поиска соседних единиц.

Гарантирует ли алгоритм абсолютно минимальную форму?

Да, метод Куайна — Мак-Класки с нахождением существенных импликант и минимального покрытия гарантирует получение минимальной ДНФ.

Elysia Tools

Навигация

Math & Numbers

Упрощатель булевых выражений (карта Карно)

Упрощает булевы функции до минимальной ДНФ: введите выражение (A–D, + ИЛИ, · И, ' НЕ, ≤ 4 переменных) или список минтермов Σm; алгоритм Куайна-Мак-Класки находит простые импликанты, берёт существенные и достраивает точное минимальное покрытие; выводятся минимальная ДНФ, карта Карно в коде Грея (2–4 переменных), каноническая форма Σm и проверка на всех наборах. Классика: AB + A'B → B; Σm(0,1,2,4,5,6) (3 переменные) → B' + C'.

Запуск

Запустить этот инструмент

Заполните форму, запустите инструмент и посмотрите результат на этой же странице.

Примеры

Примеры для этого инструмента

Связано

Упрощатель булевых выражений (карта Карно)

Запустить этот инструмент

Примеры для этого инструмента

Продолжить с похожими инструментами и темами

Узнайте, когда использовать этот инструмент, что он поддерживает и как его применяют пользователи.

Ключевые факты

Обзор

Когда использовать

Как это работает

Сценарии использования

Примеры

1. Упрощение булева выражения по закону поглощения

2. Минимизация функции 3 переменных из таблицы истинности

FAQ

Примеры Обработки Изображений Web Python

Примеры Обработки Изображений Android Java

Примеры Обработки Изображений Android Kotlin

Примеры Обработки Изображений Web Rust

Конвертер разведения (1:X ↔ 1/X ↔ %)

Расширенный алгоритм Евклида (ax + by = НОД(a, b))

Калькулятор обратного по модулю (расширенный Евклид)

Калькулятор модулярной арифметики (сложение / вычитание / умножение / обратное / степень)