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

三投票

1 回答

56 意见

基于电路族的布尔函数识别

我们考虑的是布尔电路，具体来说，内部节点是AND、OR（二者都是扇入2）或NOT（扇入1）门。每个闸门的扇出量为2。电路的大小是。。。

森林

496

问9月21日13:38

7 投票

1 回答

120 意见

真值函数的对称性

给定$n$ary真值函数$f:\{0,1\}^n到\{0,1\}$的对称群是由$n$输入变量名的所有保持$f$的置换组成的置换群：$\{\sigma\in。。。

卡尔

12.1万

问9月21日0:05

1 投票

0 答案

77 意见

布尔电路计算函数[闭合]

我们考虑的是布尔电路，具体来说，内部节点是AND、OR（二者都是扇入2）或NOT（扇入1）门。每个门的扇出为2。电路的大小是。。。

森林

496

问9月20日17:43

1 投票

1 回答

94 意见

布尔函数中的电路复杂性

我们和以前一样考虑布尔电路，特别是内部电路节点可以是AND、OR（双扇入2）或NOT（扇入1）门。每个闸门的扇出量为2。电路的大小是。。。

森林

496

问9月20日12:19

-4 投票

0 答案

32 意见

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

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

Mridulk Kaushik先生

1

问9月18日11:49

三投票

1 回答

71 意见

De Morgans在和积上的应用

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

用户832075

91

问8月17日13:54

0 投票

1 回答

77 意见

如何从只有一个0的两变量真值表中找到最小乘积和表达式？

我正在从这个真值表中寻找产品表达式的最小总和：一B类（f）001100111011根据我的理解，我可以从。。。

保罗

三

问7月20日12:58

0 投票

0 答案

25 意见

布尔函数分析中线性条件的符号变化

在维基百科上，它明确指出布尔函数$f:\{-1，1\}^n\rightarrow\{-1,1\}$是线性的，只要它满足$f（xy）=f（x）f（y）$，其中$xy=（x_1y_1，\dots，x_ny_n）$。然而，另一方面。。。

萨卡森·塞提（Saksham Sethi）

302

问7月15日4:19

0 投票

1 回答

27 意见

布尔下酉三角矩阵的逆

布尔下酉三角矩阵的逆矩阵与矩阵本身相同吗？矩阵条目被视为在GF（2）中，即bool。

丹尼尔·S。

532

问7月11日16:22

0 投票

0 答案

41 意见

证明：设α是一个只包含布尔连接词∧，∨的命题。那么满足α的赋值也必须满足f（α）

问题是：设f是一个映射，它以布尔命题（无量词）为输入，输出相同的命题，但所有∧符号都替换为∨。例如：$$f（x_1∧（x_2→-x_5）=。。。

用户3397539257439645

151

问7月10日14:22

三投票

1 回答

68 意见

在无限逻辑中仅使用NAND的理论证明优势

这个问题来源于哲学堆栈交换的一个问题，以及关于“在……中使用NAND有什么主要好处。。。

J D公司

145

问7月5日23:06

三投票

1 回答

110 意见

具有100个元素的有限交换环，其中$x^2=x$？

是否存在100个元素的有限交换环，其中R$中每$x\$x^2=x$？我知道有限布尔环具有此属性，但对于某些$n$…，它们具有基数$2^n$。。。

学习者

369

问7月2日15:25

2 投票

三答案

258 意见

给定输出频率，用最小布尔函数创建一个真值表

我有一个带有八个输入和三个输出的黑盒，我想为它们编写最小化布尔函数。我知道如何简化给定真值表的布尔表达式，但我不。。。

安德烈亚·马兰科

45

问6月21日9:54

0 投票

0 答案

37 意见

将代数正规形式的公式转换为等效公式的通用算法，该等效公式可使按位运算的数量最少

在这个问题中，“按位运算”是指集合中的任何运算{异或、与或}. The不是操作不包括在内，因为。。。

抒情地邪恶

922

问6月15日7:18

-1 投票

1 回答

68 意见

集合内的最大子组[闭合]

假设我们有一个满足$|S|geq2^n$（S$中承诺的$0^n）的集合$S\subseteq\{0,1\}^{2n}$，那么最大的$S'\substeqS$是什么？有很多关于…的文献。。。

瓦亚斯

413

问6月6日23:35

堆栈交换网络

标记为[boolean]的问题

基于电路族的布尔函数识别

真值函数的对称性

布尔电路计算函数[闭合]

布尔函数中的电路复杂性

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

De Morgans在和积上的应用

如何从只有一个0的两变量真值表中找到最小乘积和表达式？

布尔函数分析中线性条件的符号变化

布尔下酉三角矩阵的逆

证明：设α是一个只包含布尔连接词∧，∨的命题。那么满足α的赋值也必须满足f（α）

在无限逻辑中仅使用NAND的理论证明优势

具有100个元素的有限交换环，其中$x^2=x$？

给定输出频率，用最小布尔函数创建一个真值表

将代数正规形式的公式转换为等效公式的通用算法，该等效公式可使按位运算的数量最少

集合内的最大子组[闭合]

热门网络问题

标记为[boolean]的问题

相关标签