two statement logically equivalent example - Search