卡诺图上变量的取值顺序是采用()的形式，以便能够用几何上的相邻关系表示逻辑上的相邻