Недостающую глубину мысли
обычно компенсируют её длиной.
Ш. Монтескье

Filin.

Master of Logic
(текущая версия: 3.3 build 437)

Загрузить программу --- Электронное пособие --- Регистрация программы

рус.

укр.

Master of Logic Standard позволяет:

  • строить таблицу истинности для произвольной формулы алгебры высказываний от n высказывательных переменных, где n ≤ 31;
  • определять, к какому классу формул принадлежит данная формула;
  • устанавливать, являются ли две формулы алгебры высказываний равносильными;
  • для формул алгебры высказываний, которые задаются в аналитическом виде или таблично, строить совершенные конъюнктивные и дизъюнктивные нормальные формы, а также минимальные конъюнктивные и дизъюнктивные нормальные формы;
  • устанавливать, является ли данная формула алгебры высказываний логическим следствием конечного количества посылок;
  • решать булевые уравнения и системы булевых уравнений;
  • определять принадлежность булевых функций классам Поста и функциональную полноту системы булевых функций;
  • создавать и работать с файлами, содержащими задачи указанных типов;
  • создавать файлы с заданиями и проводить самостоятельные и контрольные работы по соответствующим темам или для комплексного контроля знаний.

Программа поддерживает два языка интерфейса и системы помощи – русский и украинский.