布尔代数是英国数学家布尔创立的，是集合论数学的组成部分，也称为逻辑代数