Skip to content

Chap1

约 24 个字 2 张图片 预计阅读时间不到 1 分钟

Propositional Equivalences 命题等价

alt text

full conjunctive normal form = disjunctio of maxterm, 即满析取范式 = 最大项之积

alt text

颜色主题调整