BAДискретная математика

Калькулятор булевых функций

Калькулятор булевых функций - позволяет быстро строить таблицу истинности для произвольной булевой функции или её вектора, рассчитывать совершенную дизъюнктивную и совершенную конъюнктивную нормальные формы, находить представление функции в виде полинома Жегалкина и классифицировать функцию по классам Поста.

Инструкция пользователя

  1. Выберите режим работы - формула или Вектор
  2. Введите в поле логическую функцию (например, AvB) или её вектор (например, 10110101).
  3. Нажмите кнопку Решить

Пример решения вектора

введите в поле 1110

Нажмите Решить

Выйдет окно результата

Введенная задача попадает в журнал.

Двойным кликом можно открыть любой результат который растчитывался ранее


Пример решения формулы

введите в поле A→B↔¬AvB

Нажмите Решить

Выйдет окно результата

Введенная формула также попадает в журнал.

Двойным кликом можно открыть любой результат который расчитывался ранее