Traffic 1 (Logic formulas and English with Truth Tables) Purpose: Investigate how to write logic formulas and get experience thinking about English that can say the same thing. Background: 1. Make sure you have downloaded LogicTraffic. 2. Use the LogicTraffic situations given below 3. For each situation, study the intersection and think of words that describe how to make it safe and optimal. Then write a logic formula using the implication logic operator. 4. Test your formula using the arrow at the top of the formula to transfer it to the truth table. You can run a simulation to be sure. 5. Turn in a single text document with your answer in two parts for each situation: a. Your logic formula (you will have to retype it from LogicTraffic. b. Your English description of the formula in normal speaking terms (not logic terms). c. How many rows are in the associated truth table? Why? Assignment 6. Situation 7 7. Situation 12 - Hint: don't make this one harder than it needs to be! Trafficl (original)- OW.L.Honig, Loyola University Chicago, 2007 Traffic 1 (Logic formulas and English with Truth Tables) Purpose: Investigate how to write logic formulas and get experience thinking about English that can say the same thing. Background: 1. Make sure you have downloaded LogicTraffic. 2. Use the LogicTraffic situations given below 3. For each situation, study the intersection and think of words that describe how to make it safe and optimal. Then write a logic formula using the implication logic operator. 4. Test your formula using the arrow at the top of the formula to transfer it to the truth table. You can run a simulation to be sure. 5. Turn in a single text document with your answer in two parts for each situation: a. Your logic formula (you will have to retype it from LogicTraffic. b. Your English description of the formula in normal speaking terms (not logic terms). c. How many rows are in the associated truth table? Why? Assignment 6. Situation 7 7. Situation 12 - Hint: don't make this one harder than it needs to be! Trafficl (original)- OW.L.Honig, Loyola University Chicago, 2007