问题标签 [boolean-logic]

我正在尝试简化以下布尔代数，以便构建电路：

到目前为止，我已经做到了：

它是否正确？

我想得到最好的最小化。

到目前为止我所经历的步骤是：

我还能做更多吗？

我正在努力思考如何做到这一点。据我了解，如果可以使用门的某种组合来执行每个基本逻辑运算 AND、OR 和 NOT，则一组逻辑门称为“功能完整”。声称是与非门在功能上是完整的。

我不明白的是如何将或门构建为与非门。从与非门等构建一个与门。我想出的公式是否必须具有相同的输出？

使用真值表 X' = X NAND 1 怎么样？

我不确定 X NAND 1 是什么意思。我知道 1 固定为 y？

当我看到像 x NAND y 这样的 2 个输入之间的门时，我感到很困惑

如何为 x+y = NAND 构建真值表？

还是我应该以不同的方式来做？

我正在尝试使用以下公式通过真值表解决这些问题。我遇到了 NOT to NAND 的问题

我想我用正确的方法解决了前两个问题：AND 等同于 NOR，AND 等同于 NAND

使用 NAND 运算符的 AND、OR 和 NOT 等式是：

仅使用 NOR 运算符的 AND、OR 和 NOT 等式是：

我正在尝试遵循这个公式

这就是我如何计算出与 NOR 等效的方法

我最大的问题是如何在真值表的输出中使用 NOT？另外，我将如何从 NOT 变为 NOR？我想在真值表中解决所有这些问题。

真值表中的输出是什么？我怎样才能从 X' 到等效的 NAND？

我确信这个问题之前可能已经回答过，所以我很抱歉，但我无法找到合适的搜索词来找到答案。

给定以下代码示例，是否db.GetRecords().Any()会执行？

我知道 and 的规则&&，||但是&and是什么|？请用一个例子向我解释这些。

我想知道是否有人知道编译器解释以下代码的方式：

这是真的吗，因为 && 的优先级高于 || 或者因为 || 是短路运算符（换句话说，短路运算符是否忽略所有后续表达式，或仅忽略下一个表达式）？

为什么

返回true？

关于二元决策图的背景可以在维基百科上的 BDD中找到。

最简单的方法是构建 BDT（二元决策树），然后根据两个规则对其进行缩减：
- 合并任何同构子图。
- 消除两个孩子同构的任何节点。
但是有一个主要问题 BDT 与 BDD 相比可能非常大。有没有办法在不先构建 BDT 的情况下构建 BDD？

我在 jsfiddle.net 中玩耍，我很好奇为什么这会返回 true？

这样做也是如此：

但这不会：

这个怪癖有用吗？

我正在为我们在办公室使用的另一款软件编写一个插件，它允许用户审核他们正在处理的文件。我试图让我的工具尽可能灵活。我的想法是用户将生成一个节点树，其中可以包含其他节点作为子节点。在树的底部，节点将是条件节点，根据用户正在处理的文件将失败或通过。此外，用户可以将每个节点设置为特定的逻辑类型，包括 AND、OR、NOR、NAND .

我现在想弄清楚的是，如果我有一些由节点或子节点返回的布尔集合，那么将上述逻辑类型应用于此列表的最有效方法是什么？我马上开始写foreach语句，但似乎由于二进制逻辑对计算机的工作方式如此重要，所以会有一种更好、更快、迭代更少的方法。