第六章格和布尔代数案例