I would go with the redirect. The link has potential to miss traffic to the main site. That one extra step for the user can make a difference, given the limited attention span and laziness of many web users.
301 Redirection is the best one. Which one should you redirect? Check the domain age and link profile. Choose one that is older than the other with good/healthy link profile.