Implementação da disjunção