what does logically equivalent mean - Search