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

variable-free logic
.בינה	无变量逻辑