如何运用2-sat算法解决hdu 4421 Bit Magic问题?