logical equivalence formula - Search