1. 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. 2. Formulate the logical constraint for the following statements. (Where A, B, C, and D are all binary variables.) a. If A happens, then both B and C happen. b. If A does not happen, then both B and C happen. c. If A does not happen, then neither B nor C happens. d. If A happens but B does not happen then C and D do not happen