Булева алгебра
AND, OR, NOT, XOR, строгий разбор выражения и таблица истинности до четырёх переменных.
Загружаем калькулятор…
Как это считается
Собственный рекурсивный парсер принимает только A–D, скобки и четыре перечисленных оператора. Для упрощения используется ограниченное объединение минтермов.
Ограничения и точность
- До 100 символов/токенов и четырёх переменных. Эквивалентность с внешними системами и минимальность по всем возможным формам не обещаются; выводится сокращённая ДНФ.
Контрольный пример
A XOR B истинно ровно на наборах 01 и 10 и упрощается в ¬A∧B ∨ A∧¬B.
Версия методики: 1.0.0