四个逻辑变量组成的最大项