问题标签 [boolean-algebra]

我对这个表达式有一点问题：

我知道它可以简化为：

因为我使用了一些软件来简化它，但我根本看不到它是如何完成的。

这是我到目前为止所做的：

我只是看不到如何以不同的方式做到这一点并获得正确的结果。

我刚刚发现了布尔代数并且还在学习，所以请耐心等待...... :)

我正在寻找以下内容。据我了解，找到布尔函数变量的所有可能值的问题称为“可满足性”问题。

我不想做一些符合可满足性的事情。

设置是 100 到 10_000 个变量的函数。该函数是简单的XOR即 x1 ^ x2 ^ x3 ....。此外，我可能预先知道了一半的变量值，所以我想做部分满意。

找到解决方案的最佳方法是什么？

我目前正在试验PyEDA，所以我可以熟悉布尔代数。我还没有找到一种方法来做到部分满意。但即使我找到了，我也希望能够自己编写算法。

在我找到纯 XOR-partial-SAT 的解决方案后，我也想探索其他公式，这就是为什么在我探索 XOR-SAT 之后可能需要更通用的算法。

例子 ：

我正在用java编写一个程序，我正在使用二维数组创建一个全减法器的真值表。这样做时，我想用以下公式计算借出： B(out) = !(X).Y + (!(X ^ Y))B(in)

所以，我这样写：

虽然 XOR(^) 和 AND(&) 和 or(|) 工作正常，但 NOT(!) 出现以下错误：

我该如何纠正？有没有其他方法可以将此公式编写为 JAVA 代码？请帮忙。

我有两个矩阵 A(10,5) 和 B(30,5)。相比之下，所需的最终输出是大小为 (10,30) 或 (30,10) 的逻辑数组。我的代码：

在我的代码中，就输出矩阵的大小而言，我没有得到想要的结果。

例子：

我有一个解决方案列表a：

和输入列表bs：

如果我与a任何一个进行比较b1, b2, ..., bn，我希望True从比较中获得价值。当然，这个简单的表达式是行不通的：

因为在 Python 中，只有相同的列表才能相等。

有没有什么漂亮的数学可以用编程语言轻松实现？现在我正在考虑构建一些哈希函数，但我仍然不确定如何？

注 1）它可以通过使用 for 循环轻松实现，但我需要一些更强大的东西。2）这可能也与这个帖子循环组的问题有关

做一些布尔代数。我假设AB(B+~C)也可以写成

这是真的？

如果是这种情况，那么对于以下表达式，我简化了 if

这是有道理的还是 AB 完全意味着其他东西？

谁能解释布尔代数中最大和最小项的重要性以及卡诺图的使用。我对这些标题感到困惑。

真值表

我需要使用给定的表和逻辑门设计一个解码器。我不需要一个完整的解决方案，而是一个解决这个问题的方法或开端。任何帮助表示赞赏。

x^18等价于((x|(~44))&(x^62))+(x&44) ??

这怎么可能？
我想知道关于证明这个公式的详细信息......

感谢您抽出宝贵的时间，顺便说一句，我了解布尔代数的基础知识。

虽然我了解布尔代数如何在非常小的电路中成为一种有用的优化技术，但在实际大小的电路中肯定会花费太长时间。电路是否被隔离并应用了布尔代数定律，这需要很长时间，还是有比布尔代数更好的技术来优化更复杂的电路？我只是很好奇。提前致谢。