sifat aljabar boolean

1. Komutatif
   a + b = b + a
   a x b = b x a
2. Ditributif
   a + (b x c) = (a + b) x (a + c)
   a x (b + c) = (a x b) + (a x c)
3. Identitas
   a + 0 = a
   a x 1 = a
4. Komplemen
   a + a' = 1
   a x a' = 0
5. Idempoten
   a + a = a
   a x a = a
6. Boundednes
   a x 0 = 0
   a + 1 = 1
7. Absorbsi
   a + (a x b) = a
   a x (a + b) = a
8. Involusi
   (a')' = a
   0' = 1
   1' = 0
9. Asosiatif
   (a + b) + c = a + (b + c)
   (a x b) x c = a x (b x c)
10. De Morgan
    (a + b)' = a' x b'
    (a x b)' = a' + b'

sifat sifat tersebut biasa digunakan untuk menyederhanakan suatu fungsi, contoh :
E = (a' + (a x b)') x (b' x (b' + c))
E = (a' + (a x b)') x b'            *absorbsi
E = (a' + a' + b') x b'             *De Morgan
E = (a' + b') x b'                    *Idempoten
E = b'                                    * Absorbsi

untuk gambar rangkaian akan di jelasin di selanjutnya :)