用字母表示运算定律的公式有哪些