检查给定的关系不是是布尔代数
于 2022-02-14 发布
文件大小:2.11 kB
0 57
下载积分: 2
下载次数: 1
代码说明:
这个程序检查它适用于一组给定关系即是布尔代数或不。 为了验证,首先我们需要检查是否给定的一组是反身代词、 传递、 反对称或不。如果它满足上述三个,然后它被称为一个偏序的集合。 接下来,我们找到的最小、 最大的元素。此外我们发现最大的下界 [glb] 和最小上界 [滑] 如果它们存在的话。接下来,我们检查是否每一对中的关系的元素具有 glb 和滑。如果是的话,那么就被称为一个格子。 接下来,我们检查是否给定的格子是分布式和补充。如果是的话,那么就被称为布尔代数。
下载说明:请别用迅雷下载,失败请重下,重下不扣分!
发表评论