命题公式， 的二进制编码大项Mi为________。