Please type the answer since sometimes it is hard for me to read the handwriting.

1. Discrete Structures question

Problem 3/7 (10 points, 3 + 5 + 2) Let the following predicates be given. The domain is all books. . H(x) = "x is light." . C(x) = "x is difficult to understand." (1) Write the following statement in predicate logic: There is at least one heavy difficult book. (2) Formally negate your statement from (1). (3) Translate the negated statement in (2) into English