Álgebra de Boole

Las operaciones AND, OR y NEGACIÓN cumplen las sigientes propiedades respecto al conjunto de elementos {0, 1}:

Y a estas ocho propiedades se añaden las dos leyes de De Morgan