[M]补=1.X1X2X3X4，当满足()时，M-1/2成立。

A.X1=1，X2-X4至少有一个为1

B.X1=1，X2-X4任意

C.X1=0，X2-X4至少有一个为1

D.X1=0，X2-X4任意