Вычислить и интерпретировать результат формул логики высказываний.
advertisement
| Имя | Logic Calculator |
|---|---|
| Версия | 1.1.4 |
| Обновить | 26 сент. 2023 г. |
| Размер | 19 MB |
| Категория | Инструменты |
| Количество установок | 50тыс.+ |
| Разработчик | Aulos Rafael |
| Android OS | Android 6.0+ |
| Google Play ID | com.ccomp.logic.calculator |
Logic Calculator · Снимки экрана
Logic Calculator · Описание
С помощью этого приложения вы можете:
- проверить, является ли последовательность символов правильной формулой (WFF);
- получить нормальную польскую нотацию (NPN) - то есть префиксную нотацию - формул пропозициональной логики;
- получить обратную польскую нотацию (RPN), т.е. постфиксную нотацию - формул пропозициональной логики;
- получить подформулы формул логики высказываний;
- получить формулы дизъюнктивной нормальной формы (ДНФ) и конъюнктивной нормальной формы (КНФ) формул логики высказываний;
- создавать таблицы истинности для формул логики высказываний;
- присвоить значения истинности пропозициональным символам и получить интерпретацию формул пропозициональной логики.
Кроме того, вы можете выбрать разные порядки приоритета для логических связок.
- проверить, является ли последовательность символов правильной формулой (WFF);
- получить нормальную польскую нотацию (NPN) - то есть префиксную нотацию - формул пропозициональной логики;
- получить обратную польскую нотацию (RPN), т.е. постфиксную нотацию - формул пропозициональной логики;
- получить подформулы формул логики высказываний;
- получить формулы дизъюнктивной нормальной формы (ДНФ) и конъюнктивной нормальной формы (КНФ) формул логики высказываний;
- создавать таблицы истинности для формул логики высказываний;
- присвоить значения истинности пропозициональным символам и получить интерпретацию формул пропозициональной логики.
Кроме того, вы можете выбрать разные порядки приоритета для логических связок.
