3.1.1 莱布尼兹与二进制