Answers the Long questions [7x2=14] I. Show that ((((pvg)^(p→r))^(g→r))→r) is tautology (or theorem). II. How Binary Search Algorithm works? Write a recursive find method for a binary search tree.