To verify that two statements are logically equivalent, you can make a truth table for each and check whether the columns for the two statements are identical.