计科非408

离散数学---期末复习知识点

一数理逻辑复习知识点 1 命题与联结词否定析取合取蕴涵等价命题非真既假的陈述句复合命题由简单命题通过联结词联结而成的命题 2 命题公式与赋值成真成假真值表公式类型重言矛盾可满足公式的基本等值式 3 范式

离散数学 计科非408 算法