if exactly one of the sub-states of

if exactly one of the sub-states of S is active whenever S is active.

ผลลัพธ์ (ไทย) 1:

ถ้าอยู่ตรงหนึ่งในสถานะย่อยของ S เมื่อ S อยู่

ผลลัพธ์ (ไทย) 2:

ถ้าว่าหนึ่งใน sub-S สหรัฐอเมริกามีการใช้งานเมื่อใดก็ตามที่มีการใช้งาน S