用含有字母的式子表示运算定律和运算性质的关系