Laws of Logic Problem 3 and 4