Logic Calculator

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

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

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