site:math.libretexts.org logical equivalence formula - Search