Vanillate Science

Ilmu Komputer · Logika

Kalkulator Aljabar Boolean & Tabel Kebenaran

Buat tabel kebenaran dan sederhanakan ekspresi Boolean dengan metode Quine–McCluskey (bentuk SOP minimal).

Contoh soal dan pembahasan

Terverifikasi

\lnot A \land B \lor A \land \lnot B \lor A \land B

Jawaban

Jenis
$\text{kontingensi}$
Bentuk minimal (SOP)
$(B) \lor (A)$
Bentuk kanonik (jumlah minterm)
$\sum m(1, 2, 3)$

Langkah penyelesaian — Tabel kebenaran dan metode Quine–McCluskey

Langkah 1:
Susun tabel kebenaran
$2^{2} = 4\ \text{baris}$
Setiap kombinasi nilai variabel dievaluasi.
Langkah 2:
Minterm (baris bernilai 1)
$m_{1} + m_{2} + m_{3}$
Bentuk normal disjungtif kanonik.
Langkah 3:
Implikan prima terpilih
$\text{-}1\ (B),\ 1\text{-}\ (A)$
Metode Quine–McCluskey $XY + X\bar{Y} = X$
Implikan esensial dipilih dahulu, lalu sisa minterm ditutup dengan implikan yang menutup paling banyak.

Verifikasi: Terverifikasi. ✓ Tabel kebenaran bentuk minimal identik dengan ekspresi asli.

Tentang kalkulator ini

Hasil penyederhanaan diverifikasi dengan membandingkan tabel kebenaran ekspresi awal dan akhir untuk semua kombinasi masukan.

Perhitungan dilakukan oleh mesin matematika deterministik di peramban Anda — tanpa AI generatif. Baca metodologi dan batasan.

Kalkulator terkait