![](https://img-blog.csdnimg.cn/20201014180756738.png?x-oss-process=image/resize,m_fixed,h_64,w_64)
离散数学
文章平均质量分 91
cxxu1375
这个作者很懒,什么都没留下…
展开
-
DM@命题逻辑@联结词完备集
- $n$元真值函数和$n$元命题公式间的对应关系- 由$n$元真值函数引入联结词的完备集概念 - 这从理论上解释了为什么仅使用$\neg,\vee,\wedge$三个联结词就可以表示任意命题公式 - 甚至可以用更少的联结词(比如2个或1个)来描述任意命题公式 - 高级联结词**与非联结词**和**或非联结词**可以单独构成联结词完备集原创 2023-09-15 00:00:54 · 142 阅读 · 0 评论 -
DM@命题公式@主范式的性质和应用@数理逻辑解决数字电路全加器问题
命题公式@主范式的性质和应用@数理逻辑解决数字电路全加器问题原创 2023-09-14 15:43:51 · 195 阅读 · 0 评论 -
DM@命题公式范式@析取范式和合取范式@主范式基础
- 命题公式有两种常用的规范表示方法;- 规范的表达式能表达真值表所提供的一切信息- 这里介绍任意命题一般规范化和主范式化原创 2023-09-14 15:42:28 · 281 阅读 · 0 评论 -
DM@数理逻辑@命题和联结词@形式化命题
DM@数理逻辑@命题和联结词@形式化命题原创 2023-09-10 16:15:23 · 187 阅读 · 0 评论