Consider the function f : B B defined by f(x1, x2, 23, 24, 25) = 1, if x1 + x2 + 3 > 45 where x is considered as a two-digit binary number (e.g., 11 represents the number 3). Construct a Karnaugh map for f and derive a simplest sum-of-terms expression for it.