17.1 二值原理