mathLogics merupakan aplikasi web yang dibuat oleh kelompok 3 mata kuliah MT200D dengan tujuan menyelesaikan tugas yang diberikan.

Jika Anda pernah merasa kebingungan dalam menghitung hasil dari pernyataan majemuk dalam logika matematika, Anda akan mulai menyukai aplikasi ini.

• Tabel kebenaran (truth table)
• Menentukan hasil dari setiap logika pernyataan majemuk
• Menentukan hasil dari gabungan beberapa logika pernyataan majemuk
• Fancy design (warna background berubah tiap kunjungan)

• npm

Berikut adalah bagaimana aplikasi ini memberikan hasil dari pernyataan yang diberikan.

1. Pengguna memasukkan pernyataan dengan nilai benar/salah sesuai dengan daftar penulisan nilai benar/salah
2. Pengguna klik pada tombol Result
3. Sistem mengubah masukan menjadi nilai true|false
4. Sistem mengembalikan hasil berupa lawan dari masukan menggunakan logika NOT (!)

1. Pengguna memasukkan pernyataan pertama (a) dengan nilai benar/salah sesuai dengan daftar penulisan nilai benar/salah
2. Pengguna memasukkan pernyataan kedua (b) dengan nilai benar/salah sesuai dengan daftar penulisan nilai benar/salah
3. Pengguna klik pada tombol Result
4. Sistem mengubah masukan menjadi nilai true|false
5. Sistem menggunakan logika AND (a && b) serta mengembalikan hasilnya

1. Pengguna memasukkan pernyataan pertama (a) dengan nilai benar/salah sesuai dengan daftar penulisan nilai benar/salah
2. Pengguna memasukkan pernyataan kedua (b) dengan nilai benar/salah sesuai dengan daftar penulisan nilai benar/salah
3. Pengguna klik pada tombol Result
4. Sistem mengubah masukan menjadi nilai true|false
5. Sistem menggunakan logika OR (a || b) serta mengembalikan hasilnya

1. Pengguna memasukkan pernyataan pertama (a) dengan nilai benar/salah sesuai dengan daftar penulisan nilai benar/salah
2. Pengguna memasukkan pernyataan kedua (b) dengan nilai benar/salah sesuai dengan daftar penulisan nilai benar/salah
3. Pengguna klik pada tombol Result
4. Sistem mengubah masukan menjadi nilai true|false
5. Sistem melakukan tes jika a benar dan b salah (a && !b), jika tes terpenuhi maka sistem mengembalikan hasil berupa false, jika tidak maka true

1. Pengguna memasukkan pernyataan pertama (a) dengan nilai benar/salah sesuai dengan daftar penulisan nilai benar/salah
2. Pengguna memasukkan pernyataan kedua (b) dengan nilai benar/salah sesuai dengan daftar penulisan nilai benar/salah
3. Pengguna klik pada tombol Result
4. Sistem mengubah masukan menjadi nilai true|false
5. Sistem melakukan tes jika a dan b bernilai sama (a == b), jika tes terpenuhi maka sistem mengembalikan hasil berupa true, jika tidak maka false

1. Pengguna memasukkan nilai p dengan nilai benar/salah sesuai dengan daftar penulisan nilai benar/salah
2. Pengguna memasukkan nilai q dengan nilai benar/salah sesuai dengan daftar penulisan nilai benar/salah
3. Pengguna memasukkan logika pernyataan majemuk menggunakan p dan/atau q
4. Pengguna klik pada tombol Result
5. Sistem mengubah masukan menjadi nilai true|false
6. Sistem melakukan cek jika terdapat negasi (~) pada logika pernyataan, jika ada maka sistem melakukan proses Negasi
7. Sistem melakukan penghitungan pada nilai yang berada di dalam kurung (()) terlebih dahulu
8. Sistem mengembalikan hasil akhir

1. Pengguna memilih tabel kebenaran dari logika pernyataan
2. Sistem mengambil data/isi tabel berdasarkan pilihan pengguna
3. Sistem menampilkan tabel kebenaran

1. Sistem menerima masukan yang bernilai sesuai daftar masukan yang dapat diberikan
2. Sistem mengubahnya menjadi angka 0|1 yang sama artinya dengan true|false menggunakan metode replace melalui regular expressions

Pengguna dapat memilih jenis hasil yang akan diterima dari sistem sesuai dengan daftar penulisan nilai benar/salah dengan cara klik pada pilihan yang terdapat di bawah kolom masukan pernyataan dan di atas kolom hasil.

Nilai yang dapat diberikan pengguna dan yang dapat diterima oleh sistem sebagai nilai benar atau salah hanyalah yang terdaftar di bawah ini.

Pada gabungan pernyataan majemuk, yang dibaca oleh sistem adalah yang dinyatakan dalam tanda kurung (()) terlebih dahulu.

Masukan beberapa pernyataan majemuk yang terdapat dalam halaman Manual yang dapat diberikan pengguna dan yang dapat diterima oleh sistem adalah sesuai dengan contoh-contoh di bawah ini.

• p^q
• ~p=>(~q)
• ~(p<=>(p^~(pvq)))
• (p<=>(p^~(pvq)))=>~(q^(p<=>q))

mathLogics adalah aplikasi open-sourced yang berlisensi di bawah MIT License

Perubahan versi pada aplikasi ini dapat dilihat di CHANGELOG.

Jika Anda mendapati error atau bug pada aplikasi ini yang belum dibahas, jangan ragu untuk membuat issue baru atau lakukan pull request untuk mengajukan perbaikan.

Pada gabungan beberapa pernyataan majemuk, sistem akan mengeluarkan nilai berupa invalid pada kolom hasil jika penulisan pernyataan tidak sesuai dengan sintaks penulisan pernyataan manual.