回顾 2 口内容1：布尔代数 口满足结合、分配、同一、交换、补律；有补分配格 口内容2：有限布尔代数表示定理 口任意布尔代数同构于其原子构成集合的幂集代数系统 内容1：布尔代数  满足结合、分配、同一、交换、补律；有补分配格  内容2：有限布尔代数表示定理  任意布尔代数同构于其原子构成集合的幂集代数系统 2 回顾