命题公式 对应的二进制编码大项Mi为________________。