Tim-Munt

Hukum penjalinan dengan konstanta
1. X + 0 = X
2. X + 1 = 1
3. X . 0 = 0 + X
4. X . 1 = X

Hukum perluasan
5. X + X = X
6. X . X = X

Hukum komplementasi
7. X + X’ = 1
8. X . X’ = 0

Hukum komutatif
9. X + Y = YY + X
10. X . Y = Y . X

Hukum asosiatif
11. X+(Y+Z) = (X+Y)+Z
12. X.(Y.Z) = (X.Y).Z

Hukum distributif
13. X.(Y+Z) = X.Y + X.Z
14. X + Y.Z = (X+Y) . (X+Z) tidak dapat digunakan dalam aljabar biasa, tetapi relasi ini sangat berguna dalam memanipulasi ekspresi-ekspresi aljabar boole

Dalil de Morgan
15. (X += X’ . Y’
16. (X.Y)’ = X’ + Y’

17. (X’)’ = X menyatakan jika suatu variabel dikomplemenkan sebanyak dua kali maka akan didapat nilai asli dari variabel tersebut

Hukum absorpsi
18. X.(X+Y) = X
19. X + (X.Y) = X