Cualquier sistema que satisfaga estas leyes se conocen como álgebra booleana:
1. 1. Leyes asociativas:
(a v b) v c = a v (b v c)
(a ^ b) ^ c = a ^ (b ^ c)
para todo a, b y c є Z (donde Z = 0,1)
2. Leyes Conmutativas:
a v b = b v a
a ^ b = b ^ a
para todo a, b y c є Z (donde Z = 0,1)
3. Leyes distributivas:
a ^ (b v c) = (a ^ b) ^ (a ^ c)
a v (b v c) = (a v b) ^ (a v c)
para todo a, b y c є Z (donde Z = 0,1)
4. leyes de identidad:
a v 0 = 0
a ^ 1 = a
para todo a є Z (donde Z = 0,1)
5. Leyes de complementacion:
a v ¬a = 1
a ^ ¬a = 0
para todo a є Z (donde Z = 0,1)
6. Ley De Morgan:
a v b = a ^ b
a ^ b = a v b