解析：本题考查表达式含义。首先题目条件是a和b都是整型变量，这一点很重要。其次要弄懂“\”运算符和“Mod”运算符的含义：“\”运算符表示整数除法，即运算结果为整数，小数位无条件去除；“Mod”运算符表示取余运算，即运算结果为除法得出的余数。选项A错误，将表达式写成a*b\(a*b)=1，表达式恒成立。选项B和D错误，可以这样来验证：假设 a=15,b=4，则表达式“a\b*b\a”变为“15\4×4\15”，即“3×4\15”不等于1；表达式“a\b*b\a”变为“15\4×4=15”，B口“3×4=15”，这样也不成立。选项C正确，表达式“a\b*b+a Mod b=a”变为“15\4×4+15 Mod 4=15”目p“3×4+3=15”，表达式成立。选项C是正确答案。