@bin(t);如果t是t带有多个值呢，比如t(1,2),t(2,3).......同样是要求他们每一个等于零或等于一，怎么表达？？