所谓逻辑上相邻的最小项是指这样两个乘积项，如果它们都包含（）则称这两个乘积项是相邻的。