M <--|--> O (If M, no O; If O, no M)
M <--|--> N (If M, no N; If N, no M)
This does NOT mean O <--|--> N because you could have an N and still perhaps have an O.
The reason im asking these questions because im trying to write down a cheat sheet for when i study. So that i can look at it, reference the rules, and then apply the rules until they become second nature and the cheat sheet is irrelevant and unnecessary. Therefore, I'm trying to figure out if the above examples are ALWAYS the case.