Logic Calculator

Описание приложения

С помощью этого приложения вы сможете: • Проверять, является ли последовательность символов корректной формулой (WFF). ✅ • Получать нормальную польскую нотацию (NPN) - то есть префиксную нотацию - для формул пропозициональной логики. • Получать обратную польскую нотацию (RPN), то есть постфиксную нотацию - для формул пропозициональной логики. • Получать подформулы формул логики высказываний. • Получать дизъюнктивную нормальную форму (ДНФ) и конъюнктивную нормальную форму (КНФ) для формул логики высказываний. ➗ • Создавать таблицы истинности для формул логики высказываний. 📊 • Присваивать значения истинности пропозициональным символам и получать интерпретацию формул пропозициональной логики. • Кроме того, вы можете выбирать разные порядки приоритета для логических связок. ⚙️