En este contexto, por lógica entendemos las reglas algebraicas que rigen las operaciones booleanas, tales como las leyes de De Morgan.