boolean-logic相关知识