问题标签 [boolean-expression]

在标量（布尔）上下文中计算表达式时，如果表达式计算结果为真，Perl 使用显式值1作为结果，如果表达式计算结果为假，则使用空字符串。我很好奇为什么 Perl 使用空字符串来表示布尔值，而不是0看起来更直观。

请注意，我不关心 Perl 在标量（布尔）上下文中将空字符串视为 false。

编辑

使用为真（"false"例如）的字符串作为假值的字符串表示将如何改变现有代码的含义？我们是否可以说在这种更改之后更改语义的代码不如原本的稳健/正确？我猜字符串上下文在 Perl 中如此普遍，导致语义健全的唯一选择是布尔值是否在往返于字符串之间保持其值......

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

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

它是否正确？

我想得到最好的最小化。

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

我还能做更多吗？

我正在上数字逻辑课，我正在尝试将这个二进制数相乘。我不确定什么是进位和结转。老师的幻灯片很可怕。看来他使用真值表来做到这一点，但它令人困惑。

我想这就是它的设置！现在，对于乘法部分

我认为我的真值表应该是这样的：记住这不是我上面的答案

我对 x1 和 y1 部分感到困惑如果我能看到它的实际效果并在乘以时标记“进位”和“执行”是什么会更容易。

“进位”是 1+1 的结果，“进位”是下一个进位结果的结果吗？

我认为在我们用进位和进位完成真值表之后，我们将使用布尔代数，例如：

我们将“仅使用 NAND 运算符计算 AND、OR 和 NOT 函数的方程式”。不知道该怎么做！

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

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

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

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

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

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

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

我需要使用 sat 求解器来检查布尔表达式的可满足性..

我有这样的复杂布尔表达式

是否有任何自动 cnf 文件转换器，以便我可以直接将其提供给 sat 求解器？

我读了 cnf 格式文件.. 但是如何在 .cnf 文件中表达这个表达式？当括号内有连词以及如何表达 --> 和 <-> 时，我会感到困惑？请帮我

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

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

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

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

我正在尝试遵循这个公式

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

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

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

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

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

我继承了一些看起来像这样的 Python 代码：

本着学习的精神，我想知道name or code争论发生了什么。这是否是说'name如果它不为空则使用，否则使用code'？

提供这样的多个可能参数的技术术语是什么，所以我可以在 Python 文档中阅读它？

谢谢！

我正在尝试将代码从https://stackoverflow.com/questions/4554014/how-to-examine-and-manipulate-iis-metadata-in-c转换为 VBVcript。

我的问题是这段代码：

如果site.ServerComment是Empty，则整个布尔表达式接收值Empty，它不是 False ，因此输入 then 语句。

写那个表达式的正确方法是什么？越短越好。

谢谢。

可能的重复：
JavaScript 的数学被破坏了吗？

为什么在某些编程语言中，标题中的表达式计算为真？我已经在 php、ruby 和 python 中尝试过。