标签: 节点集函数和布尔函数