Calculate and interpret the result of propositional logic formulas.

Последняя версия

Версия
Обновить
5 сент. 2023 г.
Разработчик
Категория
Количество установок
50 000+

App APKs

Logic Calculator APP

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

- проверить, является ли последовательность символов правильной формулой (WFF);
- получить нормальную польскую нотацию (NPN) - то есть префиксную нотацию - формул пропозициональной логики;
- получить обратную польскую нотацию (RPN), т.е. постфиксную нотацию - формул пропозициональной логики;
- получить подформулы формул логики высказываний;
- получить формулы дизъюнктивной нормальной формы (ДНФ) и конъюнктивной нормальной формы (КНФ) формул логики высказываний;
- создавать таблицы истинности для формул логики высказываний;
- присвоить значения истинности пропозициональным символам и получить интерпретацию формул пропозициональной логики.

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

Реклама

Реклама