en que ambas introducen una nueva operación ~ llamada negación.