Union de las valuaciones aritmeticas y booleanas