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

укр.

рус.

точное время

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

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

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