题目设(A, B, C, D)为变量，每个变量的域是(u, v, w)，且“!=”表示不等于，从如下表达式中选择那个是CSP形式化的2元约束？A.B.Diff(A, D)C.A + B = CD.Alldiff(A, B, C, D)设{A, B, C, D}为变量，每个变量的域是{u, v, w}，且“!=”表示不等于，从如下表达式中选择那个是CSP形式化的2元约束？A.B.Diff(A, D)C.A + B = CD.Alldiff(A, B, C, D)题目解答答案B