2023年2月8日
第3章 命题逻辑
摘要： 前面部分内容略 范式 析取范式和合取范式 文字：命题变元或变元的否定 短语$\wedge$（合取式）：有限个文字的合取（$文字\wedge ...\wedge 文字$，或$文字$） 子句$\vee$（析取式）：有限个文字的析取（$文字\vee ...\vee 文字$，或$文字$） 合取范式：有限个子 阅读全文
posted @ 2023-02-08 00:17 kksk43 阅读(225) 评论(0) 推荐(0)
特效
黑夜
侧边栏隐藏