Logically, each disjunction pair needs at least one part to be true.
   This tells us that if one of the terms is false, the other must be true.
   (a or b) would then lead to ~a-->b and ~b-->a as logical statements but
   we could also think of this implication as an edge in a graph where
   the vertices were things like "a" and "~a" in the graph!