Relasi Logika

Yaitu diagram blok simbol rangkaian digital yang memproses sinyal masukan menjadi sinyal keluaran tertentu. Operasi bilangan biner dinamakan "Logika Biner", Logika Biner mengenal nilai '0' dan '1' namun dalam sistem digital, mengenal;
a) Logika biner positif
     # Logika tinggi = 1
     # Logika rendah = 0
b) Logika biner negatif
     # Logika tinggi = 0
     # Logika rendah = 1

Logika aljabar "Aljabar Boolean", yaitu aturan yang bekerja berdasarkan prinsip;
# Benar = 1
# Salah = 0

Hukum - hukum logika:

Hukum Komunikatif
Contoh Rumus	Hasil
A+B	B+A
A.B	B.A

Hukum Asosiatif
Contoh Rumus	Penjabaran Rumus	Hasil
(A.B).C	A.B.C	A.(B.C)
(A+B)+C	A+B+C	A+(B+C)

Hukum De Morgan's
Contoh Rumus	Hasil
A+B	A+B
A.B	A.B

Hukum Distributif
Contoh Rumus	Hasil
A.(B+C)	(A.B)+(A.C)
A+(A.B)	(A+B).(A+C)

Hukum Prioritas
Contoh Rumus	Hasil
AB	A.B
A.B+C	(A.B)+C
A+B.C	A+(B.C)

Hukum Absortib
Contoh Rumus	Hasil
A.(A+B)	A
A+(B.C)	A
A+(A.B)	A+B
A.(A+B)	A.B

Teori Logika

1. Teori 1: A + 0 = A
2. Teori 2: A . 0 = 0
3. Teori 3: A + 1 = 1
4. Teori 4: A . 1 = A
5. Teori 5: A + A = A
6. Teori 6: A . A = A
7. Teori 7: A + A = 1
8. Teori 8: A . A = 0
9. Teori 9: A = A