correcao das disjuncoes