precisely unless

Conjunction

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

Japanese Meaning

数学や論理学の文脈で、『precisely unless』は、命題Bが成立するなら命題Aは成立せず、命題Bが成立しないなら命題Aが成立する、という関係を表します。 / つまり、AはBの否定と同値という条件関係を意味します。

The algorithm terminates precisely unless it encounters a cycle in the state graph.

そのアルゴリズムは、状態グラフでサイクルに遭遇しない場合に限り終了します。

Sense（1）

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