Logika Digital

Disebut aljabar Boolean jika untuk setiap a, b, c  B berlaku aksioma-aksioma atau postulat Huntington berikut: 1. Closure : (i) a + b  B (ii) a  b  B 2. Identitas : (i) a + 0 = a (ii) a  1 = a 3. Komutatif : (i) a + b = b + a (ii) a  b = b . a 4. Distributif : (i) a  (b + c) = (a  b) + (a  c) (ii) a + (b  c) = (a + b)  (a + c) 5. Komplemen : (i) a + a’ = 1 (ii) a  a’ = 0