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