Solve the two following logic problems: Problem 1 A k-relation ove...