... having the entire contrapositive written out, IMO. Whatever variable is ... to positive) everything going backwards in the logic chain.
< ... />
If original logic chain in an IN/OUT is A--> -B --> ... . So, you'd have IN (D,B) and OUT (C, A); you ...