Precisely-unless Definition

conjuntion

(mathematics, logic) Implies a negative and is implied by a negative; i.e. B implies not-A and not-B implies A.

Wiktionary