为帮助大家更好地掌握离散数学命题逻辑相关基础知识，梳理章节重难点与学习思路，6月3日小海鸥部门特邀请自动化2315班嘎松曲西同学在E101开展离散数学科目学习分享会。本次分享紧扣课堂授课内容，系统拆解章节知识点与常规解题方法，帮同学们梳理知识脉络、扎实课内学习。本次分享围绕课程三大模块考点展开，全面覆盖日常作业、课堂习题的核心内容。
主讲人先从命题逻辑基础考点入手，详细讲解五大联结词与自然语言的对应关系，梳理否定、合取、析取、蕴含、等价的真值判定规则，明确原子命题设定、真值表搭建的解题思路；同时区分永真式、永假式、可满足式三类公式的判定依据，夯实课程理论根基。
针对等值演算核心考点，分享重点拆解结合律、分配律、排中律、吸收律等常用等值公式，结合经典例题分步演示复杂命题公式化简与等值推导步骤，清晰标注易错考点与答题技巧，解决同学们公式变形、逻辑证明的难点问题。
最后聚焦范式高频考点，深入讲析命题公式转化为析取、合取范式的标准化步骤，详解极小项、极大项基本性质与主析取、主合取范式两种求解思路，帮助同学们理清范式核心逻辑、规范书写答题步骤。
整场分享条理清晰、重点突出，贴合日常课程学习需求，有效帮助同学们梳理知识框架、突破学习难点。此次活动为大家搭建了互助共进的学习平台，助力同学们稳步夯实专业课功底、提升专业学习能力。（供稿：电气与能源工程学院 苗雨婷）