4.11 ProBoolean（预布尔）工具