Boolean Equation Calculator

Мощный инструмент для анализа и упрощения булевых уравнений. Поддерживает вычисление, таблицы истинности, канонические формы и минимизацию с помощью алгоритма Квайна-МакКласки.

Выражение / Уравнение

(A -> B) & (B -> C) -> (A -> C) A · B + ¬C A xor B xor C ((A|B)&(!C|D)) ^ (E == F) !(A | B) <=> !A & !B

Значения переменных (опционально)

Действие

Введите выражение выше и нажмите Вычислить.

Поддерживаемый синтаксис, операторы и константы

Операторы (по приоритету)

NOT: !, ~, ¬, НЕ
AND: &, *, ·, И (или имплицитно: AB)
NAND: nand, ↑, ⊼
XOR: ^, xor, ⊕
OR: |, +, or
NOR: nor, ↓, ⊽
IMPLIES: ->, =>, →, implies
EQUIV/XNOR: <->, <=>, ==, ↔, ≡, equiv, xnor

Константы и переменные

Истинно: 1, true, T
Ложно: 0, false, F
Переменные: начинаются с букв, например A, p, Var1
Скобки: ( ), [ ], { }

Откройте для себя другие полезные инструменты

Хотите узнать больше о Zerlo и нашей коллекции полезных онлайн-инструментов? Мы постоянно разрабатываем новые помощники для цифровой повседневной жизни.

Узнать больше

Войти

Создать аккаунт

Сбросить пароль

Сбросить пароль

Код безопасности

Boolean Equation Calculator

Откройте для себя другие полезные инструменты

О Zerlo

Ссылки

Социальные сети