Скачать Logic Calculator на ПК с помощью эмулятора GameLoop

Logic Calculator на ПК

Logic Calculator, исходящий от разработчика Aulos Rafael, в прошлом работал на системе Android.

Теперь вы можете без проблем играть в Logic Calculator на ПК с помощью GameLoop.

Загрузите его в библиотеке GameLoop или результатах поиска. Больше не нужно смотреть на аккумулятор или разочаровывать звонки в неподходящее время.

Просто наслаждайтесь Logic Calculator на ПК на большом экране бесплатно！

Logic Calculator Введение

С помощью этого приложения вы можете:

- проверить, является ли последовательность символов правильной формулой (WFF);

- получить нормальную польскую нотацию (NPN) - то есть префиксную нотацию - формул пропозициональной логики;

- получить обратную польскую нотацию (RPN), т.е. постфиксную нотацию - формул пропозициональной логики;

- получить подформулы формул логики высказываний;

- получить формулы дизъюнктивной нормальной формы (ДНФ) и конъюнктивной нормальной формы (КНФ) формул логики высказываний;

- создавать таблицы истинности для формул логики высказываний;

- присвоить значения истинности пропозициональным символам и получить интерпретацию формул пропозициональной логики.

Кроме того, вы можете выбрать разные порядки приоритета для логических связок.