标签：表达式格式为：F=X…+XX…+XXX…(省略*，每个X为变量ABCD的原变量或反变量形式，不包含空格）