数理逻辑:用c语言实现判断表达式是否是公式