ИНСТРУМЕНТ
Калькулятор булевой алгебры
Введите логическое выражение — получите таблицу истинности, СДНФ, СКНФ и полином Жегалкина.
Считается локально в браузере — данные не отправляются на сервер
Логическое выражение
AND / && / · / &
OR / || / + / |
NOT / ! / ¬
XOR / ^ / ⊕
IMP / → / =>
EQV / ↔ / ==
( скобки )
1 / 0
Примеры:
(A ∧ B) ∨ ¬C
A ⊕ B
A → B
A ↔ B
(A∨B)∧(¬A∨C)
4 переменные
сложное