Stav dette: Algebra booleana y sus aplicaciones