Gerbang dasar: AND, OR, NOT, dan BUFFER

Gerbang adalah fungsi untuk seluruh kombinasi masukan

Untuk $a,b\in\{0,1\}$, AND menghasilkan 1 jika keduanya 1; OR menghasilkan 1 jika sedikitnya satu masukan 1. NOT membalik^{iNegasi Operasi NOT menukar 0 dan 1. Garis di atas ekspresi menerapkan NOT pada seluruh ekspresi yang dicakupnya. Selengkapnya} masukan dan BUFFER meneruskan nilai logikanya. BUFFER nyata juga memiliki kemampuan penggerak dan tundaan; di sini hanya fungsi logikanya yang dibahas.

Dalam aljabar Boolean^{iAljabar Boolean Aljabar nilai 0 dan 1 serta operasi AND, OR, NOT. Tanda tambah biasanya berarti OR, sehingga aturannya berbeda dari penjumlahan bilangan bulat. Selengkapnya}, $ab$ menyatakan AND, $a+b$ menyatakan OR, dan $\overline a$ menyatakan NOT. Jadi $1+1=1$ di sini bukan penjumlahan bilangan bulat. Notasi $a\land b$, $a\lor b$, dan $\neg a$ juga memiliki makna yang sama.

Baca simbol, masukan, dan tabel kebenaran bersama-sama

Pilih AND dan OR lalu periksa 00→01→10→11. Bandingkan sisi masukan lurus dan keluaran membulat pada AND dengan sisi masukan melengkung pada OR. Lingkaran kecil pada ujung segitiga NOT menandakan pembalikan; BUFFER berupa segitiga tanpa lingkaran. Ini simbol logika yang umum; standar lain juga memakai simbol persegi panjang.

OR berarti “sedikitnya satu”, bukan “tepat satu”. Ketika keduanya 1, OR menghasilkan 1, sedangkan XOR yang dibahas selanjutnya menghasilkan 0. Melewatkan satu baris tabel kebenaran^{iTabel kebenaran Tabel seluruh kombinasi masukan beserta keluarannya. Perubahan terhadap waktu diperiksa terpisah melalui gelombang.} dapat menyembunyikan perbedaan ini.

Menghubungkan kondisi membentuk rangkaian

Rangkaian berikut menghasilkan keluaran jika izin $e$ aktif dan sedikitnya satu detektor $a,b$ menyala:

OR terlebih dahulu membentuk $a+b$, kemudian AND menggabungkannya dengan $e$. Jika $e=0$, keluaran 0 tanpa bergantung pada detektor. Tiga masukan memiliki $2^3=8$ kombinasi; periksa kesamaan spesifikasi dan implementasi pada delapan baris.

Aturan minimum membaca notasi RTL

a & b, a | b, dan ~a adalah AND, OR, dan NOT per bit. Untuk vektor a=0010 dan b=0100, a & b=0000, tetapi kondisi logika a && b bernilai 1 karena kedua vektor bukan nol. Operator unary &a mereduksi semua bit dengan AND. Operasi per bit, kondisi logika, dan reduksi memiliki makna serta lebar hasil yang berbeda.

Tabel kebenaran menyatakan nilai setelah masukan stabil. Simbol dan persamaan yang benar tidak menghilangkan tundaan propagasi^{iTundaan propagasi Waktu sejak masukan berubah hingga keluaran stabil pada nilai benar. Kesetaraan logika berbeda dari karakteristik waktu. Selengkapnya} atau glitch sesaat.