1
Para todo x, y, z en B: x+(yz)=(x+y)(x+z)
2
Para todo x en B, x*x=x ,y, x+x=x
3
para cada x en B existe un único elemento x o x' llamado el complemento de x tal que x + x' = 1
4
Para todo x en B, x+0=x = x*1=x
5
Para todo x en B, (x')'=x = (0')'=0 (1')'=1
6
Para todo x, y, z en B: x+(y+z)=(x+y)+z
7
Para todo x en B, x*0=0 ,y, x+1=1
8
Para todo x en B, (x+y)' = x' * y' = (x*y)' = x'+y'
9
Proposiciones no demostrables que se establecen como ciertas, son las nociones fundamentales de la teoría
10
Operador (.)
11
Operador ( ´ )
12
Operador (+)