Здесь вы сможете решить основные типовые задачи по дискретной математике, булевой алгебре и логике. Калькулятор позволяет проанализировать булевы выражения, построить диаграммы Венна, найти 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)
Онлайн калькулятор
Важно. Вставить в калькулятор код можна нажав на значок копирования в строке с кодом примера или набрав код вручную. Можно воспользоваться справочником примеров команд для калькулятора: примеры для онлайн калькулятора. Потом нажать кнопку "Решить". Если на узком экране смартфона кнопка калькулятора не нажимается, поверните экран горизонтально.
