问题标签 [boolean-logic]

我有一种用于 x86 汇编指令的模拟器，但问题是它不接受完整的指令集。例如，如果给定一个 INT 命令，它将终止。可以在模拟器上运行命令的所有二进制表示（8 位、16 位和 32 位），并查看哪些是有效的，哪些是无效的。

它用于遗传编程，需要改变命令二进制表示，但试图在不创建无效命令的情况下执行此操作。

最简单的解决方案似乎只是计算它们，但是原始指令集和较小指令集之间的转换函数将如何工作？

对于我开始的 CS 课程之一，我们将讨论“真实功能逻辑”。

我的问题与英文翻译有关。请注意，^ 是 AND；v 是（含）OR；~ 不是。-> 是如果

好吧，我们有这个：“支付租金是留在商业的必要条件”

每当我们对所有内容进行评分时，这都是错误的。我问老师为什么，她只说“如果then句子中没有，那么先行词总是在最后”

我想要更多关于这是错误的解释。以及句子如何不模棱两可。不仅仅是“没有then，所以总是这样”。

另外，附注：IF布尔运算符来自哪里？我从来没有听说过这样一个在 Cish 代码中基本上等同于a==true?b:true. 我很难掌握它的用法。

编辑：正确答案是

我昨天在更改下发布了这个问题，但没有意识到我的帐户在 9 个月后仍然有效，抱歉重复发布，我已经修复了 jellybean 指出的示例中的错误，我将进一步详细说明问题的背景.

我正在尝试处理在python中表示为嵌套列表和字符串的一阶逻辑公式，以便它处于析取范式，

IE

变成

在哪里或并且|是和。&

目前我正在使用递归实现，它对公式进行多次传递，直到在“ands”的列表参数中找不到任何嵌套的“或”符号。它用于处理一组嵌套公式，表示为通用计算树逻辑的字符串和列表，因此它不仅具有|s 和&s，而且具有时间运算符。

这是我的实现，performDNF(form)是切入点。现在，dnfDistributivity()它对适用于较小输入的公式执行单次传递，但是当您使用较大的输入时，while 循环检查函数 ( ) 在s 内checkDistributivity()找不到s 并终止。帮助任何人，这让我发疯。|&

我需要一些有关此布尔含义的帮助。

有人可以简单地解释一下这是如何工作的：

A暗示B = B + A'（如果 A 则 B）。也相当于A >= B

我似乎无法找到正确方向的指针，我什至不确定我应该研究哪些术语，但无数小时的谷歌搜索似乎让我在转圈，所以希望 Stack 的集体智慧蜂巢溢出可以提供帮助。

问题是，我需要一种方法来过滤我只能称之为复合逻辑树的数据。目前，该系统实现了一个简单的 AND 过滤系统。例如，假设我们有一个人的数据集。您添加了一堆过滤器，以便显示 (Sex = 女性) AND (Age > 23) AND (Age < 30) AND (Status = Single) 的所有人。很简单，遍历每个项目，仅当每个条件都为真时才添加到有效的项目集合中。

我遇到的问题是如何处理用户能够构建涉及的复杂查询和的和或的？我正在考虑类似于树的东西，其中每个节点代表和表达式将其子节点评估为真或假。一个简单的例子是 - 过滤到 ((Sex == Male AND Age == 25) OR (Sex == Female AND St​​atus == Single)) AND IQ > 120。抱歉，我想不出更好的例子此时此刻。但是您将如何表示这种类型的表达式树，并根据这些过滤器评估集合中的项目。有哪些参考资料会有所帮助？见鬼，什么该死的谷歌搜索可能会导致积极的方向？！

感谢任何可以提供任何帮助的人。

这是使用人员数据集的树形复合查询示例

• 查询 - 显示性别为男性且眼睛为绿色或性别为女性、眼睛为蓝色或状态为单身的所有人。以 Paren 形式（性别 == 男性 && 眼睛 == 绿色）|| （性别==女性&&（眼睛==蓝色||状态==单身））

所以以树的形式我在思考

我相信解决方案是在数据结构中表示每个节点，例如

因此，对于给定的节点，如果您是 AND 节点，则评估子节点，如果您的表达式结果为 true，并且您的所有 AND 子节点评估为 true，或者任何 OR 子节点评估为 true 并递归，则返回 true。

似乎满足了我可以提出的所有概念条件，但一旦我实现它，我们就会满足。稍后我将在其工作时发布真实代码和图片，以帮助其他人更好地描述此问题。

前言：我没有规则引擎、构建规则、建模规则、为规则实现数据结构等方面的经验。因此，我不知道我在做什么，或者我在下面尝试的内容是否离谱。

我试图弄清楚如何存储和处理以下假设场景。为了简化我的问题，假设我有一种游戏，其中用户购买了一个对象，其中可能有 1000 个可能的对象，并且对象必须以指定的顺序购买，并且只能在某些组中购买。例如，假设我是用户，我想购买对象 F。在我购买对象 F 之前，我必须之前购买了对象 A OR (B AND C)。我不能同时购买 F 和 A，也不能同时购买 F 和 B、C。它们必须按照规则指定的顺序排列。先是A，然后是F。或者，首先是 B，C，然后是 F。我现在不关心购买之间的时间跨度或用户的任何其他特征，只是它们现在是正确的顺序。

为潜在的数千个对象存储此信息的最佳方法是什么，让我可以读取所购买对象的规则，然后将其与用户之前的购买历史记录进行核对？

我已经尝试过了，但是我一直在尝试实现诸如 A OR (B AND C) 之类的分组。我想将规则存储在我有这些表的数据库中：

但很明显，当你处理结果时，如果没有分组，你会得到错误的答案。如果可能的话，我想避免过多的字符串解析:)。一个对象可能有未知数量的先前所需购买。用于处理规则的 SQL 或伪代码片段将不胜感激。:)

只是出于好奇和缺乏明确的答案......

我只是在查看从第 3 方发送给我们的一些数据，他们的“性别”字段是 [0,1]，表示女性 (0) 或男性 (1)。

有没有更好的理由使用 [0,1] 而不是 ["F","M"]？

它是否取决于场景和字段与其值之间的直观性？

数据访问速度和/或大小限制？

如果满月？

假设我有以下表达式

Eclipse 警告我myString在布尔表达式的第二个短语中可能为空。但是，我知道一些编译器会在第一个条件失败时完全退出布尔表达式。Java 是这样吗？还是不能保证评估的顺序？

我已经分离出一个测试来确定两个计划项目是否因为不可读而重叠。

是否有任何应用程序可以帮助简化逻辑语句？

示例：（最初是一个错误的示例，但公开了我要求这样做的原因）

可以减少到

我的代码是：

我很想让它更简单，我相信这是可能的，只是不确定如何。

看到这确实与语言无关，即使转换为不同的脚本以寻找可能性也会很好，例如不需要它在 C# 中。