This preview has intentionally blurred sections. Sign up to view the full version.
View Full Document
Unformatted text preview: B and C happen: , If A happens, then B or C happens: If A does not happen, then both B and C happen: , If A does not happen, then B or C happens: If A does not happen, then neither B nor C happens: 1 , (same as , ) Part II: The key ingredients of logic modeling Five Golden Rules 1. If A then B or C 2. If A then B and C Rewrite as: (If A then B) and (If A then C) , 3. If A or B then C Rewrite as: (If A then C) and (If B then C) , 4. If A and B then C 5. “A does not happen” or “not A” is modeled using 1 – A . * Read page 8486 in our textbook and learn how to model logical constraints. 2...
View
Full Document
 Spring '08
 Staff
 Management, Logic, Mathematical logic, binary variables

Click to edit the document details