Pendidikan / Aljabar Boolean

Pembuat Tabel Kebenaran: Ekspresi Boolean dan SOP Minimal

Masukkan ekspresi Boolean dengan hingga delapan variabel menggunakan kata, simbol matematika, atau operator pemrograman. Baca tabel kebenaran, sum of products minimal yang tepat, dan bentuk kanonik, atau ekspor baris sebagai CSV.

Pembuat Tabel Kebenaran: Ekspresi Boolean dan SOP Minimal: Menampilkan setiap kombinasi input bernilai tinggi dan rendah. Quine–McCluskey menemukan implicant prima, lalu pencarian exact cover memilih jumlah suku produk paling sedikit, kemudian jumlah literal paling sedikit. SOP kanonik mencakup setiap minterm bernilai benar; POS kanonik mencakup setiap maxterm bernilai salah. Tidak ada kondisi don't-care yang diasumsikan. Berjalan 100% lokal di browser Anda tanpa upload file ke server.

Dijalankan
Di browser Anda
Biaya
Gratis · tanpa daftar
Ketersediaan
Siap digunakan
Generator tabel kebenaranPemrosesan lokal

Berjalan sepenuhnya di browser Anda

Gunakan and / ∧ / & / *, or / ∨ / | / +, not / ¬ / ! / ~ / apostrof di akhir, dan xor / ⊕ / ^. Urutan prioritas: NOT, AND, XOR, OR. Variabel membedakan huruf besar-kecil; gunakan operator eksplisit di antara variabel.

Jumlah hasil kali minimalA ∧ ¬B

SOP kanonis(A ∧ ¬B)

POS kanonis(A ∨ B) ∧ (A ∨ ¬B) ∧ (¬A ∨ ¬B)

2 variabel · 4 baris. Bentuk minimum menggunakan suku hasil kali paling sedikit, lalu literal paling sedikit.

ABHasil
000
010
101
110

Logika Boolean

MIT OpenCourseWare, Computation Structures, Combinational Logic. https://ocw.mit.edu/courses/6-004-computation-structures-spring-2017/ . Minterm bernilai benar untuk satu penetapan; maxterm bernilai salah untuk satu penetapan.

Minimisasi eksak

E. J. McCluskey, Minimization of Boolean Functions, Bell System Technical Journal 35 (1956), 1417–1444. https://doi.org/10.1002/j.1538-7305.1956.tb03835.x . Implikans prima digabungkan dengan metode Quine–McCluskey dan dipilih melalui pencarian cover eksak yang setara dengan penyelesaian tabel implikans prima.

Cara menggunakannya

  1. Masukkan ekspresi seperti A and not B, A ∧ ¬B, A & !B, A*B' atau A + B.
  2. Baca tabel kebenaran dan bandingkan sum of products minimal dengan SOP dan POS kanonik.
  3. Download CSV untuk lembar kerja atau pembelajaran lebih lanjut.

Privasi & batasan

Ekspresi dan tabel kebenaran Anda tetap berada di browser. Ekspor CSV adalah download lokal.

Alat terkait

Pertanyaan umum

Operator apa saja yang dapat digunakan?

NOT: not, ¬, !, ~, atau apostrof setelah variabel atau grup. AND: and, ∧, & atau *. OR: or, ∨, | atau +. XOR: xor, ⊕ atau ^. Gunakan tanda kurung dan operator eksplisit; AB dianggap sebagai satu nama variabel.

Bagaimana urutan operasinya?

NOT diproses terlebih dahulu, lalu AND, XOR, dan OR. Nama variabel peka huruf besar-kecil dan diawali huruf; nama tersebut dapat berisi huruf, angka, dan garis bawah. Kata and, or, xor, dan not dicadangkan.

Apakah nilai minimum selalu unik?

Beberapa ekspresi memiliki beberapa sum of products dengan ukuran yang sama-sama kecil. Tool ini mengembalikan satu solusi tepat dengan jumlah suku produk paling sedikit dan, di antara solusi tersebut, jumlah literal paling sedikit.

Seberapa besar ekspresi yang dapat digunakan?

Hingga delapan variabel berbeda dan 2000 karakter. Delapan variabel menghasilkan 256 baris tabel kebenaran. Ekspresi konstan 0 dan 1 didukung.

Alat gratis · berjalan di browser anda · tanpa perlu akun