Logic Calculator

Dengan aplikasi ini, Anda dapat:

- verifikasi apakah urutan karakter adalah formula yang dibentuk dengan baik (WFF);
- dapatkan Notasi Polandia Normal (NPN) - yaitu, notasi awalan - dari rumus logika proposisional;
- dapatkan notasi Polandia Terbalik (RPN), yaitu notasi postfix - dari rumus logika proposisional;
- dapatkan sub rumus dari rumus logika proposisional;
- mendapatkan rumus normal bentuk disjungtif (DNF) dan bentuk normal konjungtif (CNF) dari rumus logika proposisional;
- menghasilkan tabel kebenaran untuk rumus logika proposisional;
- tetapkan nilai kebenaran ke simbol proposisional dan dapatkan interpretasi rumus logika proposisional.

Selain itu, Anda dapat memilih urutan prioritas yang berbeda untuk sambungan logis.