任务3 初识逻辑代数