show that are logically equivalent - Search