1布尔代数公理与对偶
闭卷重建布尔代数公理与对偶的对象、状态、事件、不变量与一个失败反例。
离散数学与证明方法 · 小纸条
选一章打印。双面打印（按长边翻页）后沿虚线剪开，每张卡片正面题目、背面答案。
第 1 页 · 正面（题目）
2布尔函数与真值向量
闭卷重建布尔函数与真值向量的对象、状态、事件、不变量与一个失败反例。
3DNF、CNF与主范式
闭卷重建DNF、CNF与主范式的对象、状态、事件、不变量与一个失败反例。
4代数化简与吸收律
闭卷重建代数化简与吸收律的对象、状态、事件、不变量与一个失败反例。
5Karnaugh图与相邻合并
闭卷重建Karnaugh图与相邻合并的对象、状态、事件、不变量与一个失败反例。
6组合电路与门级代价
闭卷重建组合电路与门级代价的对象、状态、事件、不变量与一个失败反例。
7BDD与规范表示选讲
闭卷重建BDD与规范表示选讲的对象、状态、事件、不变量与一个失败反例。