Álgebra Booleana e Aplicações