formulate the logical constraints for the following statements (where a, b, c, and d are all binary variables): a. if a happens then b or c happens. b. if a and b happen then c and d must happen. c. if a happens or b does not happen then c or d must happen. d. if a happens or b happens then c and d happen