逻辑代数基础教学案例