... contrapositive, that B and A are also negated; however, ... having the entire contrapositive written out, IMO. Whatever variable ... logic chain in an IN/OUT is A--> -B --> ... D is "IN", then, starting at D, you run the ... (D,B) and OUT (C, A); you'd know nothing ...