4.2.2 布尔逻辑缺陷检出准则