问题标签 [boolean-algebra]

假设我有一个这样的字符串列表：

我想得到这个：

我知道这里的条件是，只要有 0 或 1，我们必须用数字+“*”替换数字，但当数字的下一个元素是“+”时不要这样做。所以我写了一个 python 代码如下-

这使输出为-

所以，我意识到如果我再运行一个“while循环”，我会得到我想要的（一个while循环，因为我们必须提到“for循环”中的循环重复次数，这里不是一个选择）。但是我无法弄清楚while的条件应该是什么。很多这一切听起来有点复杂，所以我想，也许还有其他方法可以实现我想要的东西。因此，问题。

注意——这是一个更大的程序的一部分，用于从任何不是用 Python 格式编写的布尔表达式中获取真值表。如果这部分得到解决，其余的可能可以使用 eval 来解决。提前致谢！

EDIT1--change 是一个用户定义的函数，它改变一个更大字符串的子字符串。

所以我们有三个输入 A、B、C 生成以下内容：输出 1：A'B + AC 和输出 2：AB + A'C

我们可以使用一些逻辑门从两个输出中获得输入 A 吗？

我一直在评估布尔表达式，在一个表达式中，我到达了一个我必须评估 ('b'c + bc) 的点，但我没有这样做，答案中的步骤表明它被简化为 '(b XOR c )，我需要帮助来理解这个 ('b'c + bc) 如何计算为 '(b XOR c)？

问题如下：仅使用获得函数H = X + Y

您不能使用 X 和 Y 的补码作为输入。尽可能少地使用这些逻辑门。

我最终想出答案是

但这是通过反复试验。有没有解决这个问题和类似问题的好方法？

让@表示由下面右侧定义的二进制布尔运算符： p @ q = (p ^ ¬q)

(b) 运算符集 {@, ¬} 是否完整？详细解释。

(c) 通过归纳证明，仅使用布尔运算符@（或根本不使用运算符）的单个命题变量p中的任何命题公式都等价于真值 False 或单个命题变量p。解释。

我知道以下是相等的： X + X'Y'Z = X + Y'Z 如何使用基本布尔身份简化左侧到达右侧？提前致谢。

我有一个看起来像这样的布尔表达式

我需要对其进行转换，使其只有和操作。所以我想出了这个结果

这是正确的还是我做错了什么？我只是想确定一下。

我也知道

相当于

我需要帮助简化这些布尔代数函数：

我通过简化每个方程得到的最远的是：

如果有人可以解释他们如何通过步骤简化这些功能，那将不胜感激。

几天来，我一直被教授给的奖金困住了：

• 仅使用 ~ 和 & 给出 x^y
• 假设机器使用二进制补码，32 位整数表示。

我尝试了很多不同的组合，也尝试写出运算符^的逻辑，但一直没有成功。任何提示或帮助将不胜感激！

所以这个问题对你们中的许多人来说可能看起来很愚蠢，但我发现很难掌握 CNF 子句到 INF 子句的转换。

我正在阅读这篇文章，其中指出：

首先，我们需要将问题转换为不同的形式，即所谓的隐式范式。请注意，表达式 a∨b 等价于¬a⇒b∧¬b⇒a（如果两个变量之一为假，则另一个必须为真）。

有人可以解释我们如何得到这个结果/这种转换如何有意义？我也不知道“=>”符号是什么意思。提前致谢！

更新 1：如果对不同的逻辑符号有疑问，请参阅此wiki。