《高中数学》全程设计训练题库（B版必修第一册，课后习题，含答案）第1章 集合与常用逻辑用语 1.1.3 第2课时 补集

《高中数学》全程设计训练题库（B版必修第一册，课后习题，含答案）第1章 集合与常用逻辑用语 1.2.2 全称量词命题与存在量词命题的否定

广东海洋大学：《数字电子技术》课程教学资源（授课计划）教案11 4．2 常用的组合逻辑电路

广东海洋大学：《数字电子技术》课程教学资源（授课计划）教案10 4．2 常用的组合逻辑电路 4．2．1 译码器

1.1 命题符号化及联结词 1.2 命题公式及分类 1.3 等值演算 1.4 联结词全功能集 1.5 对偶与范式 1.6 推理理论

广东海洋大学：《数字电子技术》课程教学资源（授课计划）教案4 2.3 逻辑函数及其描述方法（2.3.3-2.3.7）

《高中数学》全程设计训练题库（B版必修第一册，课后习题，含答案）第一章 集合与常用逻辑用语（测评）

《高中思想政治》全程设计训练题库（选修3逻辑与思维，课后习题，含答案）第1单元 树立科学思维观念_第3课 领会科学思维_第2框 学习科学思维的意义

苏州大学：电子信息学院《数字系统与逻辑设计》课程教学大纲

《计算机学报》：一种用于指针程序安全性证明的指针逻辑