![](https://img-blog.csdnimg.cn/20201014180756930.png?x-oss-process=image/resize,m_fixed,h_64,w_64)
离散数学
南山93
一枚普通的程序员。个人作品,打字侠。
展开
-
离散数据:析取范式与合取范式
一、前言析取范式和合取范式是命题逻辑等值演算中的重要内容,其目的是为了标准化命题公式。下面我将给出析取范式和合取范式的计算步骤。又由于析取范式和合取范式的形式不唯一,为了便于比较命题公式之间的关系,因此衍生出了主析取范式和主合取范式。所以,也将给出主析取范式和主合取范式的求解方法。二、范式存在定理范式存在定理:任一命题公式都存在与之等值的析取范式和合取范式。求解给定公式范式的步骤:...原创 2019-01-09 23:20:21 · 19693 阅读 · 1 评论 -
离散数学:关系的性质
一、前言本文将简单介绍二元关系的性质:(1)自反性(2)对称性(3)传递性,以及由此派生出的其他性质。二、二元关系的性质2.1 自反性定义(1)若, 则称R在A上是自反的。(2)若,则称R在A上是反自反的。2.2 对称性定义 设R为A上的二元关系, (1)若,则称R为A上的对称关系 (2) 若,则称R为A上的反对称关系2.3 传递性定义...原创 2019-01-09 23:54:47 · 9234 阅读 · 0 评论