Logic Calculator

Bu uygulama ile şunları yapabilirsiniz:

- bir karakter dizisinin iyi biçimlendirilmiş bir formül (WFF) olup olmadığını doğrulayın;
- önermesel mantık formüllerinin Normal Lehçe Gösterimi (NPN) - yani bir önek gösterimi - elde edin;
- Önerme mantığı formüllerinin Ters Lehçe gösterimini (RPN), yani bir sonek gösterimini elde edin;
- önermesel mantık formüllerinin alt formüllerini elde edin;
- önermesel mantık formüllerinin ayrık bir normal form (DNF) ve bir konjonktif normal form (CNF) formülleri elde edin;
- önermesel mantık formülleri için doğruluk tabloları oluşturmak;
- önermesel sembollere doğruluk değerleri atayın ve önermesel mantık formüllerinin yorumunu elde edin.

Ayrıca, mantıksal bağlantılar için farklı öncelik sıraları seçebilirsiniz.