这可以简化吗：`(B ^ G) v (Nb ^ G) v (Ng ^ B)`？

问题描述

我正在实施以下规则：

员工 E 可以属于 geographic division 和/或 business division。

用户 U 有一个 geo divisions 数组和一个 business divisions 数组，他们可以看到。你可以看到 E iff:

E 只有 geo division，而 U 有
OR E 只有一个 business division，而 U 有它
OR E 有 geo division 和 business division，而 U 有它们。

现在我很天真地实现了这个（三个条件），但我很好奇这是否可以简化。

如果有帮助，我回忆了我的逻辑课，尝试将其形式化为：

B : user has employee's business division
G : user has employee's geo division
Nb : employee has no business division
Ng : employee has no geo division

(B ^ G) v (Nb ^ G) v (Ng ^ B)

我正在使用 sql/plpgsql。

解决方法

暂无找到可以解决该程序问题的有效方法，小编努力寻找整理中！

如果你已经找到好的解决方法，欢迎将解决方案带上本链接一起发送给小编。

小编邮箱:dio#foxmail.com (将#修改为@）

boolean-logic simplify