问题标签 [truthtable]

本质上，我有一个包含八个变量的程序。我正在尝试检查这八个变量的每个真值组合，因此我需要一个使用 0 和 1 的真值表来证明它们的每个组合。这些输入将被读入程序。

它应该看起来像：

等等...

我将如何在 C 中实现这一点？我已经打开了一个文件进行写入，但我不知道如何......逻辑上这样做。

我有以下布尔函数：F=(a1+b1)(a2+b2)并试图为它构建一个 K-map。这是我到目前为止所拥有的：

我对 K-maps 比较陌生，所以我并不完全相信这是正确的。有人可以帮我仔细检查一下吗？

是否有一个软件包（最好是应用程序，而不是库）可以从给定的真值表（以某种文本格式）创建归约有序二进制决策图（ROBDD）？

如何实现具有“无关”输入并直接表示“无关”的 VHDL 函数？

自由范围 VHDL的练习 4.8-2a要求我：

...编写使用...选择的信号分配实现这些功能的 VHDL 模型。

a) F (A, B, C, D) = A'CD' + B'C + BCD'

此代码有效：

然而，它是函数定义的不良表示。我想使用“无关”输入对其进行编码，以便代码更接近定义。这将减少工作量，并且更容易正确。我试过这个：

这不起作用：当我的测试台执行此功能时，结果始终为“0”。

我正在使用 GHDL 版本 0.29+gcc4.3.i386。

VHDL 函数如何表示“无关”输入？

大家我想知道是否有一种简单的方法可以将这个Java程序的真假值转换为1和0而不需要做太多的体力劳动？我认为添加数据类型“字节”并具有两个单独的变量值 1 和 0 并手动将它们输入到代码中就可以了，但是，有没有更简单的方法？

规格如下：

一个公式是：

• 一个真值，即要么#t或#f
• 一个变量，即p, q, r, ...
• (not formula)
• (and formula1 formula2)
• (or formula1 formula2)

真值表是一组行。一行包含一个绑定(I t)，其中I真值赋值，即绑定集(p t)。I一定是：

• 持续的
• 完全的

t是由估值函数产生的V(formula, I)。V定义为：

• V(t,I) = t
• V(p,I) = t用于(p t)绑定I
• V((not formula), I) = (not (V (formula I)))
• V((and formula1 formula2), I) = (and V(formula1 I) V(formula2 I))
• V(( or formula1 formula2), I) = (or V(formula1 I) V( formula2 I))

为了在 Scheme 中实现真值表，可以遵循什么程序？请注意，公式中可能有子公式。

给定n变量，我想创建等于真值表中所有可能的二进制变化的小数。例如

对于a，b并c让：

对于p并q让：

我已经制定了一个公式来创建任何集合中的第一个数字，如下所示：

我已经在 J​​avaScript 中实现了这一点，如下所示：

我不知道如何计算其余的数字，有没有人知道一个公式来做到这一点？

我通常尽量不寻求家庭作业帮助，但我又一次陷入困境。我一直在翻阅我的教科书，但我无法弄清楚这一点。给导师发了电子邮件，我得到的所有帮助都是“检查这个页面”和“检查那个页面”，所以我不想不去做，而是想要一些建议，这样我才能真正学习。

“G”门的东西，是书中困扰我的东西，没有看起来像那样的门，所以我不知道该怎么做。这是问题的图片，基本上我必须找到X值（输出）。答案会很好。但我非常感谢对“为什么”的一点解释。真的很感谢帮助！

我有一个代码可以为给定的布尔表达式生成一个真值表。例如，考虑(A+B)+(C+D)的用户输入表达式。我有一个字符串数组headers[]，它将存储真值表的所有必要标题。

在这种情况下，它将包含："A", "B", "C", "D", "A+B", "C+D", "(A+B)+(C+D)"

然后生成的真值表（一个 2d int 数组TruthTable[][]）将包含以下数据：

所以headers[]数组的第一个元素将对应于TruthTable[][]. 考虑到这些数据，如何动态生成真值表（使用 JTable）？

当我从文本框中检查输入时，我将其传递到循环中以检查单个字符。

我有点不确定为什么会发生这种情况，但是当我输入“/”时，函数将其读取为假？