Hi J,
Well, there are millions we could make up, such as "C does not occur, then D or G but not both occur." That produces the same type of diagram, which I don't think is super helpful to repeat. So, let's instead discuss what's going on with the rule and hopefully we can add some depth there
The basic format is:
If a variable does not occur
then one and exactly one of two variables occurs.
Thus, the sufficient condition is negative, which I've written elsewhere is
extremely dangerous. The second part is the unusual necessary condition, which specifies that exactly one of two variables must occur. To negate that necessary condition (as would occur in a contrapositive), requires denying that exactly one of the two occurs. Since there are two variables in play, that means two outcomes can occur when exactly one isn't happening: both occur or neither occur. In other words, with 2 variables you have three possible states:
- None occur = 0
One occurs = one or the other (so two outcomes, actually) = 1
Both occur = 2
So, if you take out (or, in other words, negate) that middle scenario, you have:
- None occur = 0
One occurs = one or the other (so two outcomes, actually) = 1
Both occur = 2
That's why you get two separate diagrams there for the contrapositive—which we do because it makes it easier to understand, not because we have to have two diagrams; we could have just one but it would be harder to work with for most people.
Please let me know if that helps. Thanks!