Formalize these two statements in sentential logic and use truth-tables to check whether they are logically equivalent:

• If there are intelligent aliens, then either they are already here, or the earth is not an interesting place to visit.
• If the earth is an interesting place to visit, then intelligent aliens are already here if they exist.