Pembuat Tabel Kebenaran

Masukkan ekspresi logika (Boolean) untuk mendapatkan tabel kebenaran, bentuk kanonik, ekspresi yang disederhanakan, dan peta Karnaugh. Gunakan untuk memeriksa jawaban latihan logika digital atau matematika diskrit.

Cara pakai

1. Ketik ekspresi seperti A'B + AB' + C di "Ekspresi logika". Buka "Operator dan notasi" untuk melihat simbol yang bisa dipakai.
2. "Tabel kebenaran" langsung muncul, beserta keterangan apakah ekspresinya tautologi. "Nilai" beralih antara 1 / 0 dan T / F.
3. Di "Bentuk", baca jumlah dari hasil kali dan hasil kali dari jumlah yang disederhanakan. Dengan 4 variabel atau kurang, "Peta Karnaugh" menampilkan kelompok-kelompoknya.
4. Masukkan "Ekspresi kedua" di "Periksa kesetaraan" untuk membandingkan dua ekspresi, atau tekan "Salin tabel" atau "Salin LaTeX".

Cara kerja

• Variabel berupa satu huruf A–Z, maksimal 6. Huruf yang ditulis berdampingan berarti AND, jadi AB adalah A AND B.
• Urutan pengikatan, dari yang terkuat: NOT, AND, XOR, OR, implikasi, biimplikasi (jika dan hanya jika). Gunakan tanda kurung jika ragu.
• Penyederhanaan memakai metode Quine–McCluskey. Jika pencarian berjalan terlalu lama, pencarian dihentikan lebih awal, dan ada catatan bahwa hasilnya mungkin bukan yang terpendek.

Pertanyaan umum

Tabel kebenaran punya berapa baris?

Dengan n variabel, tabel memiliki 2 pangkat n baris: 8 baris untuk 3 variabel, 16 untuk 4, dan 64 untuk 6.

Bagaimana cara menyederhanakan ekspresi Boolean?

Gabungkan suku-suku yang hanya berbeda pada satu variabel. AB + AB' bernilai benar setiap kali A benar, apa pun nilai B, jadi disederhanakan menjadi A.

Apa beda minterm dan maxterm?

Minterm adalah baris yang hasilnya 1, ditulis sebagai AND dari semua variabel; maxterm adalah baris yang hasilnya 0, ditulis sebagai OR. Minterm-minterm yang digabung dengan OR memberi SOP kanonik.

Bisakah memeriksa hukum De Morgan?

Bisa. Masukkan ¬(A ∧ B) ↔ (¬A ∨ ¬B) dan hasilnya ditampilkan sebagai tautologi. Anda juga bisa memasukkan kedua sisi secara terpisah di "Periksa kesetaraan".