首页| JavaScript| HTML/CSS| Matlab| PHP| Python| Java| C/C++/VC++| C#| ASP| 其他|
购买积分 购买会员 激活码充值

您现在的位置是:虫虫源码 > Java > 检查给定的关系不是是布尔代数

检查给定的关系不是是布尔代数

资 源 简 介

这个程序检查它适用于一组给定关系即是布尔代数或不。 为了验证,首先我们需要检查是否给定的一组是反身代词、 传递、 反对称或不。如果它满足上述三个,然后它被称为一个偏序的集合。 接下来,我们找到的最小、 最大的元素。此外我们发现最大的下界 [glb] 和最小上界 [滑] 如果它们存在的话。接下来,我们检查是否每一对中的关系的元素具有 glb 和滑。如果是的话,那么就被称为一个格子。 接下来,我们检查是否给定的格子是分布式和补充。如果是的话,那么就被称为布尔代数。

文 件 列 表

boolean algebra java code.java
VIP VIP
0.168691s