1+2+3是不是代数式