创建和修改格式正确的布尔公式的解析树的模块。