Recuperação de SDAC - módulo 1.2 (Álgebra de Boole)