Lompat ke konten
Aback Tools Logo

Generator Tabel Kebenaran

Buat tabel kebenaran lengkap untuk ekspresi logika boolean apa pun secara instan. Masukkan ekspresi dengan AND, OR, NOT, XOR, NAND, NOR, XNOR, implikasi (→), dan bikondisional (↔) hingga 8 variabel. Bandingkan beberapa ekspresi berdampingan, deteksi tautologi dan kontradiksi, serta beralih antara tampilan T/F dan 1/0 — semua berjalan lokal di browser Anda tanpa pendaftaran.

Truth Table Generator

Enter one or more Boolean expressions separated by commas to generate a complete truth table. Supports AND, OR, NOT, XOR, NAND, NOR, XNOR, implication (→), and biconditional (↔).

Operators: AND OR NOT XOR NAND NOR XNOR -> <-> · Also: && || ! ^

Quick Examples

Operator Reference
∧AND / && / & - Both true
∨OR / || / | - At least one true
¬NOT / ! / ~ - Negation
⊕XOR / ^ - Exactly one true
↑NAND - NOT AND
↓NOR - NOT OR
⊙XNOR - Both same
→-> - Implication
↔<-> - Biconditional

Mengapa menggunakan Generator Tabel Kebenaran kami?

  • Pembuatan tabel kebenaran instan: masukkan ekspresi boolean apa pun dan buat tabel kebenaran lengkap seketika. Generator tabel kebenaran mengurai ekspresi Anda di browser dan menghasilkan semua 2ⁿ kombinasi input dengan keluaran yang benar — tanpa pemuatan, tanpa perjalanan bolak-balik ke server.
  • Generator tabel kebenaran online yang aman: generator berjalan sepenuhnya di browser Anda. Ekspresi boolean, rumus logika, dan tugas sekolah Anda tidak pernah dikirim ke server mana pun — tanpa pengumpulan data, tanpa pelacakan, sepenuhnya privat.
  • Generator tabel kebenaran — tanpa instalasi: gunakan generator langsung di browser modern mana pun tanpa unduhan, aplikasi, atau plugin. Mendukung AND, OR, NOT, XOR, NAND, NOR, XNOR, implikasi (→), dan bikondisional (↔) dengan hingga 8 variabel.
  • 100% gratis dengan dukungan beberapa ekspresi: generator tabel kebenaran sepenuhnya gratis tanpa pendaftaran, tanpa batas penggunaan, dan tanpa iklan. Masukkan beberapa ekspresi yang dipisahkan koma untuk membandingkannya berdampingan dalam satu tabel — sempurna untuk memverifikasi ekuivalensi logika dan hukum De Morgan.

Kasus penggunaan umum Generator Tabel Kebenaran

  • Tugas ilmu komputer: mahasiswa menggunakan generator tabel kebenaran untuk menyelesaikan tugas matematika diskret dan logika digital. Masukkan ekspresi boolean apa pun dari buku teks Anda dan langsung bandingkan tabel yang Anda hitung manual dengan keluaran generator.
  • Verifikasi ekuivalensi logika: gunakan generator untuk membuktikan atau menyangkal ekuivalensi logika dengan memasukkan kedua ekspresi sebagai input yang dipisahkan koma. Jika kolom keluaran cocok di semua baris, kedua ekspresi setara secara logika — sempurna untuk memverifikasi hukum De Morgan dan sifat distributif.
  • Perancangan sirkuit digital: insinyur perangkat keras menggunakan generator untuk menentukan perilaku yang diharapkan dari sirkuit logika kombinasional sebelum implementasi. Buat tabel kebenaran untuk half adder, full adder, multiplexer, dan kombinasi gerbang khusus.
  • Deteksi tautologi dan kontradiksi: generator tabel kebenaran otomatis mendeteksi tautologi (selalu benar) dan kontradiksi (selalu salah) serta menampilkan lencana yang jelas. Ini berguna untuk memverifikasi aksioma logika, memeriksa langkah pembuktian, dan mengidentifikasi kondisi yang berlebihan dalam kode.
  • Pemrograman dan logika kondisional: pengembang menggunakan generator untuk menalar kondisi boolean yang kompleks dalam kode. Petakan variabel pernyataan if Anda ke A, B, C dan masukkan kondisinya untuk melihat semua kemungkinan kombinasi input dan hasilnya sebelum menulis kode.
  • Pengajaran dan demonstrasi kelas: pengajar menggunakan generator untuk mendemonstrasikan konsep aljabar boolean secara real-time. Contoh cepat yang tersedia mencakup AND, OR, NOT, XOR, NAND, NOR, hukum De Morgan, dan half adder — siap dipakai tanpa pengaturan apa pun.

Apa itu tabel kebenaran?

Tabel kebenaran adalah tabel matematis yang digunakan dalam logika untuk menentukan keluaran sebuah ekspresi boolean bagi setiap kemungkinan kombinasi nilai input. Untuk n variabel, tabel kebenaran memiliki 2ⁿ baris — satu untuk setiap kombinasi unik input BENAR dan SALAH. Tabel kebenaran sangat mendasar bagi aljabar boolean , perancangan sirkuit digital, logika proposisional, dan ilmu komputer. Tabel ini digunakan untuk memverifikasi ekuivalensi logika, membuktikan tautologi, mengidentifikasi kontradiksi, dan mendefinisikan perilaku gerbang logika. Generator tabel kebenaran kami mengurai ekspresi boolean apa pun yang ditulis dalam notasi standar dan menghasilkan tabel kebenaran lengkap seketika di browser Anda — tanpa server, tanpa akun, tanpa menunggu.

Cara kerja Generator Tabel Kebenaran kami

  1. Masukkan ekspresi boolean Anda — ketik satu atau beberapa ekspresi boolean di kolom input, dipisahkan koma. Gunakan nama variabel A-Z dan operator apa pun yang didukung. Generator tabel kebenaran otomatis mengekstrak semua variabel unik dan mengurutkannya sesuai abjad sebagai kepala kolom.
  2. Penguraian instan di browser — klik «Buat Tabel Kebenaran» dan generator akan mentokenisasi serta mengurai ekspresi Anda dengan parser recursive descent sepenuhnya di browser Anda. Tidak ada data ekspresi yang dikirim ke server mana pun — rumus logika Anda tetap sepenuhnya privat di perangkat Anda.
  3. Tinjau tabel lengkapnya — generator tabel kebenaran menampilkan semua 2ⁿ baris dengan kolom input (abu-abu) dan kolom keluaran (disorot). Nilai BENAR tampil berwarna hijau, SALAH berwarna merah. Beralih antara tampilan T/F dan 1/0. Beberapa ekspresi tampil sebagai kolom keluaran berdampingan agar mudah dibandingkan.

Operator dan sintaksis yang didukung

  • AND (∧): tulis AND , && , atau & — menghasilkan BENAR hanya ketika kedua input BENAR.
  • OR (∨): tulis OR , || , atau | — menghasilkan BENAR ketika setidaknya satu input BENAR.
  • NOT (¬): tulis NOT , ! , atau ~ — menegasikan input. Bisa dirantai: NOT NOT A .
  • XOR / NAND / NOR / XNOR / → / ↔: tulis XOR , NAND , NOR , XNOR , -> (implikasi), atau <-> (bikondisional). Tanda kurung didukung penuh untuk pengelompokan.

Prioritas operator

Generator tabel kebenaran mengevaluasi operator dalam urutan prioritas berikut (tertinggi ke terendah): NOT (tertinggi) → NAND / XNOR → AND → NOR → XOR → OR → IMPLIES (→) → IFF (↔) (terendah). Gunakan tanda kurung untuk mengganti prioritas — misalnya, NOT (A AND B) berbeda dari NOT A AND B . Jika ragu, selalu gunakan tanda kurung agar maksud Anda jelas.

Pertanyaan yang Sering Diajukan

Generator tabel kebenaran adalah alat yang secara otomatis menghasilkan tabel kebenaran lengkap untuk ekspresi logika boolean apa pun. Alat ini mengevaluasi ekspresi untuk setiap kemungkinan kombinasi nilai input BENAR dan SALAH. Generator tabel kebenaran kami berjalan sepenuhnya di browser Anda, mendukung 9 operator, dan tidak memerlukan pendaftaran.

Ketik ekspresi Anda menggunakan nama variabel A-Z dan operator seperti AND, OR, NOT, XOR, NAND, NOR, XNOR, -> (implikasi), dan <-> (bikondisional). Anda juga dapat memakai simbol: && untuk AND, || untuk OR, ! atau ~ untuk NOT, ^ untuk XOR. Gunakan tanda kurung untuk pengelompokan.

Tentu saja. Generator tabel kebenaran berjalan sepenuhnya di browser Anda. Ekspresi boolean dan rumus logika Anda tidak pernah dikirim ke server mana pun, disimpan dalam basis data, atau dilacak. Semuanya tetap sepenuhnya privat di perangkat Anda.

Ya — generator tabel kebenaran ini 100% gratis tanpa pendaftaran, tanpa akun, dan tanpa batas penggunaan. Buat tabel kebenaran untuk ekspresi apa pun dengan hingga 8 variabel sebanyak yang Anda butuhkan, gratis selamanya.

Generator tabel kebenaran mendukung hingga 8 variabel, yang menghasilkan maksimal 256 baris (2⁸). Untuk sebagian besar soal logika, 2-4 variabel (4-16 baris) adalah rentang yang umum.

Bisa. Masukkan beberapa ekspresi boolean yang dipisahkan koma dan generator akan menampilkannya sebagai kolom keluaran berdampingan dalam satu tabel — sempurna untuk memverifikasi ekuivalensi logika.

Tautologi adalah ekspresi boolean yang BENAR untuk setiap kemungkinan kombinasi nilai input. Generator tabel kebenaran otomatis mendeteksi tautologi dan menampilkan lencana hijau. Kontradiksi (selalu SALAH) ditandai dengan lencana merah.

Prioritas dari tertinggi ke terendah: NOT → NAND/XNOR → AND → NOR → XOR → OR → IMPLIES (→) → IFF (↔). Gunakan tanda kurung untuk mengganti prioritas bila perlu.

Bisa. Gunakan -> untuk implikasi logika (A → B) dan <-> untuk bikondisional (A ↔ B). Keduanya ditampilkan dengan simbol logika standar di kepala tabel. Anda dapat memverifikasi bahwa A -> B sama dengan NOT A OR B dengan memasukkan keduanya sebagai ekspresi yang dipisahkan koma.