卡诺图对角两个是不是相邻