אנגלית ⇄ סינית +

three-satisfiability [ˌθri:sætɪsfaɪə'bɪlɪtɪ]
.טכנול	★ 三元可满足性