问题标签 [boolean-logic]

抱歉，如果这是“逻辑运算符 101”之类的问题。我一直盯着我的屏幕 15 分钟试图绕着它转头，但我被卡住了。

是否有更简洁/优雅的方式来表达以下内容（这是 JavaScript 语法，但它不是与语言相关的问题）：

根据一些实验，这似乎不是逻辑上的等价物：

此外，任何人都可以推荐在线资源以进一步研究此类问题吗？我假设这种类型的东西在计算机科学课程的抽象层面上有所涵盖，这是我真正想填补的编程知识中的一个重要空白。谢谢！

这有效...

- 这些不...

该otherObj测试仅评估 otherObj 是否nil存在。给定的变量在前一行中检索。应用程序运行时出现的错误是：

unprotected error to call in Lua API(script path...: Did not pass boolean to SetNoClip).

SetNoClip 是应用程序中的一个函数，它通过lua_toboolean.

那么为什么第一个工作，第二个和第三个返回错误呢？

编辑：

SetNoClip有这个定义。

问题是它lua_isboolean不进行任何隐式类型转换（但lua_toboolean确实如此），并且只会为文字布尔值返回 true。因此，如果它看到 nil，它将返回布尔值未通过。我刚刚删除了对布尔文字的错误检查，因为人们（包括我）通常依赖于不是布尔文字的参数被正确地视为布尔值。

仅当页面上存在包含某些文本的元素时，我才尝试将 Qtip 插件附加到元素。出于某种原因，我不断收到一个脚本错误，说“AddTooltips() 不是一个函数”。在元素不存在的页面上。我的 if 语句有些东西不太适用。

我需要确定两个不同的布尔表达式是否相同。例如：

S1 = a ∨ b
S2 = (a ∧ ¬b) ∨ b;

这两个其实是一样的。所以我需要检测它们是否相同。我正在使用 C#。

是否有一个函数可以提供一个数组，如果提供的函数对所有这些函数都返回 true，它将返回 true？

我对逻辑 AND 运算符有点困惑。我有这两行代码。这里num和j都是int。我有两种条件都满足的情况，但我不知道为什么它不打印j. 任何人都可以指出错误吗？提前致谢。

下面的布尔表达式应该如何用 PHP 编写：

或者

或者

对于这里的 C# 专家来说应该是一个简单的问题。

我基本上想检查一个值或另一个值是否为 TRUE，代码如下：

这个对吗？

谢谢

我正在从定制的集合封面问题转换为 sat，所以我也许可以使用 sat 求解器来解决我的问题。

我的问题是：我有几组变量在 sat 问题中相互作用；类似的东西x_i v x_j v x_k; y_i v y_j v y_k。

但是，我似乎无法正确理解的是，两组变量的占用率不得与组合相同。egX_i可以等于x_j，但整个集合不能相等。

我该如何表达，以便我可以在 sat-solver 中使用它？

我可以用更简单、更易于阅读的方式编写以下逻辑吗？下面做我需要的，但它非常混乱：

谢谢