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. Give an example in Python to better understand the loop while n...