Program ini dimaksudkan untuk mendapatkan tabel kebenaran fungsi logika dengan jumlah variabel dari satu sampai lima. Fungsi logika (Boolean) dari n variabel y = f(x1, x2, …, xn) adalah fungsi dengan semua variabel dan fungsi itu sendiri hanya dapat mengambil dua nilai: 0 dan 1.
Fungsi dasar logika
Variabel yang hanya bisa mengambil dua nilai 0 dan 1 disebut variabel logika (atau hanya variabel). Perhatikan bahwa sebuah variabel logika x dapat mengimplikasikan di bawah angka 0 beberapa pernyataan yang salah, dan di bawah angka 1 beberapa pernyataan yang benar.
Ini mengikuti dari definisi fungsi logika bahwa fungsi dari n variabel adalah pemetaan Bn ke B, yang dapat didefinisikan secara langsung oleh tabel yang disebut tabel kebenaran fungsi ini.
Fungsi-fungsi dasar logika adalah fungsi-fungsi dari dua variabel z = f(x,y).
Jumlah fungsi-fungsi ini adalah 24 = 16. Mari kita beri nomor ulang dan menyusunnya dalam urutan alamiah.
Mari kita pertimbangkan fungsi-fungsi ini secara lebih rinci. Dua di antaranya, f0 = 0 dan f15 = 1 adalah konstanta. Fungsi-fungsi f3, f5, f10 dan f12 pada dasarnya adalah fungsi-fungsi dari satu variabel.
Fungsi-fungsi terpenting dari dua variabel memiliki nama dan sebutan khusus.
1) f1 – konjungsi (fungsi AND)
Perhatikan bahwa konjungsi sebenarnya adalah perkalian biasa (dari nol dan satu). Fungsi ini dilambangkan dengan x&y;
2) f7 adalah disjungsi (atau fungsi). Hal ini dilambangkan dengan V.
3) f13 adalah implikasi (mengikuti). Dilambangkan dengan ->.
Ini adalah fungsi yang sangat penting, terutama dalam logika. Ini dapat dilihat sebagai berikut: jika x = 0 (yaitu x adalah “salah”), maka baik “salah” dan “benar” dapat disimpulkan dari fakta ini (dan ini akan benar), jika y = 1 (yaitu y adalah “benar”), maka kebenaran disimpulkan dari “salah” dan “benar”, dan ini juga benar. Hanya kesimpulan “dari kebenaran adalah salah” yang salah. Perhatikan bahwa setiap teorema selalu benar-benar mengandung fungsi logika ini;
4) f6 – penambahan modulo 2. Ini dilambangkan dengan tanda “+” atau tanda “+” dalam lingkaran.
5) f9 adalah ekuivalensi atau kesamaan. F9 ini = 1 jika dan hanya jika x = y. Hal ini dilambangkan dengan x ~ y.
6) f14 adalah tanda hubung Schaeffer. Fungsi ini kadang-kadang disebut “bukan dan” (karena sama dengan negasi dari konjungsi). Ini dilambangkan dengan x|y.
7) f8 adalah panah Pierce (kadang-kadang fungsi ini disebut goresan Lukasiewicz).
Tiga fungsi lainnya, (f2 , f4, dan f11) tidak memiliki sebutan khusus.
Perhatikan bahwa logika sering mempertimbangkan fungsi-fungsi dari fungsi-fungsi, yaitu, superposisi dari fungsi-fungsi di atas. Dalam hal ini, urutan tindakan ditunjukkan (seperti biasa) dengan tanda kurung.
Panduan pengguna
- Semua karakter yang dimasukkan oleh pengguna akan ditampilkan pada kalkulator
- Selain operan karakter yang disajikan dalam antarmuka aplikasi, input keyboard juga dimungkinkan
- Jika pengguna membuat kesalahan ketika memasukkan fungsi, karakter yang terakhir dimasukkan bisa dihapus dengan menekan tombol Backspace
- Aplikasi ini mendukung pemeriksaan otomatis terhadap kebenaran nilai yang dimasukkan. Artinya, jika terjadi kesalahan, simbol tidak akan muncul pada layar, tetapi sebaliknya, simbol akan bergetar, membiarkan pengguna tahu bahwa kesalahan telah dibuat
- Setelah Anda selesai memasukkan ekspresi pengguna, Anda harus menekan tombol konfirmasi untuk menampilkan tabel kebenaran
- Jika ada terlalu banyak nilai yang dihitung, tabel bisa digulir ke bawah untuk melihat opsi yang tersisa
- Di bagian atas, sebagai petunjuk, ekspresi yang dimasukkan oleh pengguna ditampilkan
- Untuk kembali ke halaman utama, klik di mana saja dalam tabel
