http://gametheory101.com/courses/logic-101/ In this lecture, we learn about the "OR" logical operator. When using the logical OR, we mean it as the "inclusive or," which allows for both to be true. If the statement you are trying to translate is an "exclusive or," you need to use different notation. Be careful!