Здесь вы сможете решить основные типовые задачи по дискретной математике, булевой алгебре и логике. Калькулятор позволяет проанализировать булевы выражения, построить диаграммы Венна, найти 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)


 Похожие публикации
2016-03-30 • Просмотров [ 1060 ]