... you AND and OR statements. Those ones are fairly simple: AND in necessary splits and OR ... of the arrow. If AND in sufficient and OR in necessary, then the ... 't split. For the contrapositive, AND becomes OR and OR becomes AND.
One question in ...