最新的“布尔代数”问题-数学堆栈交换

-4 投票

0 答案

28 意见

如何利用吸收定理导出$（A+B）（A^\prime+C）=AC+A^\PrimeB$？[已关闭]

布尔代数中有一个恒等式：$$（A+B）（A^\prime+C）=AC+A^\prime B$$如何得出这个结论？

Mridulk Kaushik先生

1

问2天前

0 投票

1 回答

33 意见

$\left＜B，f，\cup\right＞$是布尔代数的证明

这是埃利奥特·门德尔森的《数学逻辑导论》。我理解为什么$\cup$是可交换的，但我不知道如何证明$\cup$是关联的第二个条件。我的。。。

显示名称

871

问9月18日7:30

0 投票

0 答案

24 意见

布尔代数？请帮忙？[已关闭]

有人能帮忙吗？ABC+（A'+B+C'）D=？A'=将负数简化

费尔斯兰

1

问9月15日14:50

0 投票

2 答案

78 意见

为什么在大多数编程语言中，AND优先于OR？

在许多编程语言中，逻辑AND运算符（&&或$和$）的优先级高于or运算符（||或$或$）。这意味着在两个运算符都存在的表达式中，。。。

MukundKS公司

311

问9月14日4:10

2 投票

1 回答

97 意见

有理区间的有限布尔组合，作为$\{0,1\}^{\mathbb{R}}$的子空间：它是$C^*$嵌入的吗？

设置：考虑$X=\lbrrace 0,1\rbrace ^｛\mathbb｛R｝｝$与产品拓扑，我们可以通过特征函数用$\mathbb｛R｝$的幂集自由识别。让$D\subseteq X$。。。

Gro Tsen公司

5,711

问9月6日16:42

0 投票

0 答案

83 意见

为什么布尔代数中的对偶原理是正确的？[副本]

在课堂上，我的老师讲解了数字电路逻辑的知识。他解释了二元性的$原理是什么，但他没有解释证明，我对证明很感兴趣。$...

比尔旺

21

问8月29日11:20

1 投票

1 回答

52 意见

逻辑：如果$（A|C'）>（A|C）$的合理性，请解释$（AB|C'$

在ET Jaynes的概率论中，作者指出，如果命题$a$的合理性随着命题$C$的更新而增加：$$（A|C'）>（A|C）；$$但B美元的合理性。。。

乔恩·本肯

117

问8月28日15:47

三投票

1 回答

70 意见

De Morgans在和积上的应用

我想写布尔函数和的乘积$$F（A、B、C）=（A*B）+（A'*A）+（B'*C）$$我可以取消$（A'*A）$，然后我想知道如何在$$（AB）\cup（。。。

用户832075

91

问8月17日13:54

5 投票

1 回答

243 意见

任何完整（可能是分配的）格都是布尔代数

设$（L，\leq）$是使用偏序$\leq$定义的格。在该文献中，在没有证据的情况下声称任何完整的格都是布尔代数（示例2.9（2））。在同一文档中。。。

hff1型

862

问8月15日14:34

2 投票

1 回答

82 意见

用$\{0，1\}^B$超滤子证明布尔代数Stone空间的紧性。

背景设$（B，\land，\lor，\neg，0，1）$是布尔代数。我们可以用部分顺序$\leq$装备$B$，其中$x\leqy$当且仅当$x=x\landy$。集合$F\subsetneqB$是一个。。。

hff1型

862

问8月12日22:49

-1 投票

1 回答

43 意见

求复合命题的连接范式[重复]

我想找到以下命题的CNF（连接正规公式）：$（-p∨-q∨-r）→（（a→-b）∨q）$我的尝试：如果我使用结果$p→q≡p∨q$，那么$（p∨-q∨-r）→（a∨-b∨q）$。如果我。。。

普里亚

4, 568

问8月6日8:18

三投票

1 回答

35 意见

具有特定最大值属性的幂集子集数

设$P（n）：=\mathscrP（{0，\ldots，n-1\}）$。我对幂集的子集$F\subsetqP（n）$感兴趣，它具有一个特殊的性质，即没有两个集合是彼此的合适子集。（根据。。。

陀螺齿轮松动

1,206

问8月1日16:59

-1 投票

2 答案

122 意见

如果$A\RightarrowB$，$\bar{A}$如何对B视而不见？[已关闭]

我正在读E.T.Jaynes的《概率论》，他在第一章中谈到似是而非的推理命题$A\Rightarrow B$没有断言A或B是真；这只意味着。。。

乔恩·本肯

117

问7月25日14:03

8 投票

2 答案

750 意见

每个布尔代数都是自由代数的子代数吗？

众所周知，每个布尔代数都是自由代数的商，这实际上是从通常的代数事实得出的。此外，每个布尔代数都是自由代数的子代数吗？我相信。。。

罗德里戈·尼古拉·阿尔梅达

663

问7月24日19:10

1 投票

1 回答

49 意见

布尔代数的簇是否不包含适当的非平凡子簇/子拟簇？

考虑语言$\{\cup，\cap，'，0,1\}$中布尔代数在泛代数意义上的多样性，其中$'$表示互补，其他符号众所周知。我。。。

用户107952

21.7万

问7月20日16:06

堆栈交换网络

标记为[boolean-algebra]的问题

如何利用吸收定理导出$（A+B）（A^\prime+C）=AC+A^\PrimeB$？[已关闭]

$\left＜B，f，\cup\right＞$是布尔代数的证明

布尔代数？请帮忙？[已关闭]

为什么在大多数编程语言中，AND优先于OR？

有理区间的有限布尔组合，作为$\{0,1\}^{\mathbb{R}}$的子空间：它是$C^*$嵌入的吗？

为什么布尔代数中的对偶原理是正确的？[副本]

逻辑：如果$（A|C'）>（A|C）$的合理性，请解释$（AB|C'$

De Morgans在和积上的应用

任何完整（可能是分配的）格都是布尔代数

用$\{0，1\}^B$超滤子证明布尔代数Stone空间的紧性。

求复合命题的连接范式[重复]

具有特定最大值属性的幂集子集数

如果$A\RightarrowB$，$\bar{A}$如何对B视而不见？[已关闭]

每个布尔代数都是自由代数的子代数吗？

布尔代数的簇是否不包含适当的非平凡子簇/子拟簇？

热门网络问题

标记为[boolean-algebra]的问题

相关标签