问题标签 [boolean-algebra]
For questions regarding programming in ECMAScript (JavaScript/JS) and its various dialects/implementations (excluding ActionScript). Note JavaScript is NOT the same as Java! Please include all relevant tags on your question; e.g., [node.js], [jquery], [json], [reactjs], [angular], [ember.js], [vue.js], [typescript], [svelte], etc.
python - 如何在 numpy 创建布尔数组的数组的每一行中搜索索引值
给定一个大小为 MxN 的数组和一个大小为 Mx1 的数组，我想用 MxN 计算一个布尔数组。
所以我想知道是否有一种更高级的pythonic方式来做到这一点
boolean - 你能用布尔代数定律最小化一个不关心条件的布尔表达式吗？
我必须在不关心条件的情况下最小化 SOP 形式的布尔表达式。我可以通过 k-map 做到这一点，但我只能使用布尔代数定律来做到这一点。
Q. 西格玛(0,2,3,5,6,7,8,9) + d(10,11,12,13,14,15)
python - 为什么 1<<3 + 1<<4 = 256？
我以为它会等于 1<<7 == 128，但为什么它等于 1<<8 == 256？你能解释一下 x<<y + x<<z 运算的代数吗？
boolean - 如何将产生布尔值的 cond 语句转换为仅涉及非和和或的表达式
我正在学习球拍/方案，并遇到了一个在线资源，该资源说，如果使用 cond 编写的函数给出 true 或 false，则只能使用not，and， and or来重写它。我已经制定了一些简单的示例，我能够将 cond 语句转换为仅涉及 not and and or 的语句。我的问题是，在这两种类型的语句之间进行转换时，是否有一种方法可以立即“看到”逻辑。我知道将每个 cond 语句转换为 not 和 or 的组合并不总是可行的，但我有兴趣了解转换过程背后的逻辑。提前致谢。
（如果有关问题的某些内容没有意义，请发表评论，我将尝试澄清我想了解的内容）
boolean-algebra - 布尔逻辑 (ab+a'+b')cd
我在任何地方都找不到这样的例子。所以我知道那是返回 cd 但我对这些步骤很好奇。如果我先做 ab+a'，那么我就剩下 (a'+b+b')cd => a'cd。如果我先做 ab+b'，那么我就剩下 (a+b')cd。那么我在这里缺少什么步骤？我是否在等式中添加一些内容以使其括号中的所有内容都消失？
boolean-algebra - 为什么在这张卡诺图中没有考虑 D 为常数的突出显示区域？
我还附上了下面的屏幕截图。
我的问题是，如果组应该足够大，为什么不考虑突出显示的区域而只考虑一个子集来获得 BD 而不是 D？
先感谢您。
python - 真值表的 CNF
我有一个由真值表呈现的布尔函数。
总共有 10 个变量，我想获得具有合理长度的 CNF（不需要最短，但足够短）。
我该怎么做？
Python 脚本或任何公开可用的软件（例如 Mathematica/Mapple/etc）也适用于我。
boolean-expression - 使用步骤简化布尔表达式
我是布尔代数的新手，而不是如何处理否定表达式，如果你能分步解释它
boolean - 布尔简化 - 为什么 (A + NOT(BC)).(B + NOT(BC)).(C + NOT(BC)) = A + NOT BC
这是方程式的答案，但我不明白为什么。请帮忙！
math - 在 Sage 中使用（分配）变量的方法
我需要测试一个 n-variable Boolean Function f = f(x0,...,xn-1)。我需要修复 x0，然后运行一些测试g1 = f(x1,...,xn-1)，然后修复 x1，依此类推。问题是我真的不明白如何用 Sage 做到这一点。
起初，我尝试创建一个值向量，用于控制变量的“固定”
这工作正常，但它不适合我的任务，因为我希望能够自动化修复过程。我想if用循环替换 " "，但在这种情况下，我不知道如何使用索引来处理循环内的变量。
我是 Sage 的新手，所以我将不胜感激任何建议！