6.3 “ProBoolean”工具