问题标签 [boolean-expression]

有没有类似equals()表达“不等于”的方法？

我想要完成的一个例子如下：

我试图找到不需要我使用的东西if ( a != c)。

我需要评估一个布尔表达式。目的是过滤一组标记项目。标签可以是任何名称（比方说，像 Java 标识符）。

例如：

这对于标记的项目是正确的：

• 费费
• 富吧嘘
• 酒吧

我事先不知道需要哪些名字。我检查了 JEXL 但它有JexlContext，它基本上是一个需要在评估之前填充的 Map。

我需要一些调用回调函数的库来决定标识符是真还是假。或任何其他允许标识符在评估之前未知的机制。

它必须像啤酒一样免费（它用于 Maven 插件），所以 Jep 是不可能的。

我可以使用什么？

我有一个很大的布尔公式要解决，由于编辑的原因，我必须在此处粘贴图像：

另外，我已经有一个函数area来测量 4 个整数的维度：area(c,d,e,f)=|c−d|×|e−f|

我想做的不仅仅是弄清楚公式是否可以满足：我正在寻找一个最佳的 6 元组(a,b,c,d,e,f)，它可以构成大公式TRUE，并且area(c,d,e,f)大于或等于任何其他也满足公式的 6 元组的维度。

换句话说，找到Max(area(c,d,e,f))大公式的主题。

我想知道 SMT 求解器是否可以帮助解决这个问题。我知道Z3支持quantifiers，并且能够说布尔表达式是否可以满足。但问题是是否Z3可以帮助找到函数的最佳解决方案area。

有谁有想法吗？任何关于 SMT 求解器、Z3 或其他算法的评论将不胜感激......

以下问题来自 Vazirani 等人的动态规划一章。人。

[6.6]让我们在三个符号a上定义一个乘法运算（×）；乙; c 根据下表：

因此，a × a = b 、 a × b = b 等。

找到一个有效的算法来检查这些符号的字符串，比如说bbbbac，并决定是否可以将字符串括起来，使得结果表达式的值是a。例如，在输入时，bbbbac您的算法应该返回yes，因为((b(bb))(ba))c = a.

这是我的方法：

将其映射到此处给出的计算布尔括号数的问题。在那个问题中，你会得到一个布尔表达式，形式为

T或F和T xor T

并且您需要找到用括号括起来的方法的数量，以便它评估为真。

我们可以将or、and、xor视为遵循某些规则（T xor F = T 等）并作用于取值 T 或 F 的操作数的运算符。

对于我们最初的问题，我们可以将 a,b,c 视为具有乘法 (x) 的操作数，如给定表所定义的那样提供规则。

上述方法有意义还是有更简单的方法？

我的代码在上面我在尝试转换 int 和 varchar 时遇到问题。有人可以帮忙吗？

我的 Lua 应用程序的一部分是搜索栏，我试图让它理解布尔表达式。我正在使用 LPeg，但当前的语法给出了一个奇怪的结果：

它只解析第一个令牌，我无法弄清楚它为什么这样做。据我所知，由于!.起始非终端的末尾，部分匹配是不可能的。我怎样才能解决这个问题？

有没有办法让我不用写所有的数字来缩短它？如果是(0,10)就可以，如果是(0, 10000)呢

是否可以以某种方式在这里使用列表？

嗨，我有一个代码，当您输入一个表达式时，它将存储到一个数组中，但我的问题是当输入表达式像 ab +c 时，我如何将 * 放在两个变量之间？它表示空值。这是我的代码：

如果我有布尔变量 a_1、a_2、..、a_n。如何使用多项式大小布尔表达式来表达设置为 true 的布尔变量的数量大于一些 k 的事实？（指数很容易 - 只需编写 newton(n,k) 表达式）。

我在处理应导致在 iReport 中显示或隐藏波段的表达式时遇到困难。

这些是我拥有的变量：

结果必须是 a Boolean，所以我尝试了以下方法：

因此这不起作用，我收到以下错误：

boolean 类型的表达式被装箱成 Boolean

我想太多了，但我无法解决它。

谢谢你的帮助。