Title: Lógica algébrica e automatismo