布尔解释中AE命题反对关系