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