在四变量卡诺图中,逻辑上不相邻的一组最小项为:( )A. m 1 和m 3B. m 4 和m 6C. m 5 和m 13D. m 2 和m 8

四变量卡诺图的逻辑相邻性判断是本题的核心考查点。两个最小项在卡诺图中相邻的条件是它们的二进制表示仅有一位不同。解题的关键在于将每个最小项转换为4位二进制数，比较各选项中两个最小项的二进制码差异位数，若差异位数超过一位则为不相邻。

选项分析

选项A：m₁和m₃

• 二进制表示：m₁=0001，m₃=0011
• 差异位数：第二位（B位）不同，仅一位差异
• 结论：相邻

选项B：m₄和m₆

• 二进制表示：m₄=0100，m₆=0110
• 差异位数：第三位（C位）不同，仅一位差异
• 结论：相邻

选项C：m₅和m₁₃

• 二进制表示：m₅=0101，m₁₃=1101
• 差异位数：第一位（A位）不同，仅一位差异
• 结论：相邻

选项D：m₂和m₈

• 二进制表示：m₂=0010，m₈=1000
• 差异位数：第一位（A位）和第三位（C位）不同，两位差异
• 结论：不相邻