În spațiul boolean B 2 =  0 , 1  , B n2 = B 2  B 2  ...

 B 2 , există
  
n
2 operatori binari : + ( “ sau “ ) , * ( “şi “ ) ,
1 operator unar : – ( “ nu “ )

şi un lanţ de axiome, ( x , y , z  B 2 ) :

1.– Axioma de închidere :

( x  B 2 şi y  B 2 ) → x + y  B 2
( x  B 2 şi y  B 2 ) → x * y  B 2
2. – Axioma de asociativitate :
x + (y + z ) = (x + y ) + z
x * ( y * z ) = (x * y ) * z
3. – Axioma de comutativitate :
x+y = y+x
x*y = y*x
4. – Axioma de absorbţie :
x + x*y = x
x * (x + y ) = x
5. – Axioma de distributivitate :
x + y * z = (x + y ) * (x + z )
x * (y + z ) = x * y + x * z
6. – Axioma de existenţă a elementelor cu efect nul pentru fiecare operator binar:
x + 0 = x , 0 element cu efect nul pentru “sau“
x *1 = x , 1 element cu efect nul pentru “şi“
7. – Axioma de existenţă a complemntului şi deci a cuplului (x, x ) :
() x, () x unic , iar cuplul satisface:
x + x = 1

x * x = 0
Axiomele algebrei booleene induc următoarele consecinţe :
1.– Idempotenţa :
x + x = x , x * x = x.
2. – Involuţia :
x = x.
3.– Elementul nul:
x*0 = 0*x = 0 , x +1 = 1+x = 1.

4. – Legile lui Morgan:

(x + y ) = x * y , (x* y ) = x + y .