Булева алгебра - калькулятор

Здесь вы сможете решить основные типовые задачи по дискретной математике, булевой алгебре и логике. Калькулятор позволяет проанализировать булевы выражения, построить диаграммы Венна, найти DNF, CNF, построить таблицу истинности. Пригодится студентам-математикам и программистам.

Приведем примеры команд для решения типовых задач:

Проанализировать логическое выражение и построить диаграммы Венна:

P and not Q

P && (Q || R)

Построить таблицу истинности для булевых функций:

truth table p xor q xor r xor s

Построить логическую схему для булевой функции:

logic circuit (p or ~q) and (r xor s)

Преобразовать булево выражение в дизъюнктивную нормальную форму

DNF (P || Q || R) && (~P || ~Q)

Преобразовать булево выражение в конъюнктивную нормальную форму:

CNF (P && ~Q) || (R && S) || (Q && R && ~S)

Преобразовать булево выражение в алгебраическую нормальную форму:

ANF (~P || Q) && (P || ~Q)

---

---