All variables (A, B, C, and D) are binary and defined to have value 1 if the event happens and 0 otherwise. All constraints must be in standard form with variables simplified and on the left and one number on the right. a. At least two of A, B, C, and D must happen. b. If A does not happen or B does happen, then C does not happen or D happens