Agregada la funcion de disyuncion en el consecuente para elementos del tipo AvB