Hitung dan tafsirkan hasil rumus logika proposisional.
advertisement
| Nama | Logic Calculator |
|---|---|
| Versi | 1.1.4 |
| Memperbarui | Sep 26, 2023 |
| Ukuran | 19 MB |
| Kategori | Alat |
| Instal | 50K+ |
| Developer | Aulos Rafael |
| Android OS | Android 6.0+ |
| Google Play ID | com.ccomp.logic.calculator |
Logic Calculator · Jepretan Layar
Logic Calculator · Deskripsi
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.
- 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.
