问题标签 [truthtable]

I'm looking for effective implementation of Material Implication/XNp/If/then for PHP. Here's example of where I want to use it:

There is collection of object. Each of them has date and type.

I'm writing method that accepts three parameters:

and check if the $obj has newer date (bigger timestamp) than any of objects in $collection. I also want to depend my comparison on $sameTypeOnly which narrows comparations only to objects of same type.

So far I have:

There is problem with SOMETHING. I want it to check if $sameTypeOnly is true, and if it is, check if $obj->getType() == $related->getType().

Of course, I could do that using nested if() statements like this: $currentDate = strtotime($obj->getDate());

and it will work! BUT IT LOOKS BAD. I wonder if there is simplier, effective and elegant solution to do this in one if.

After minute of thinking I got my truth table. Assuming that T stands for same type, t1 = t2 means that type of first objects matches type of second objects, and r is result, truth table looks like this:

I looked up for similar table here, and well, here it is! Column 11 on this table (named "if/then"). I googled for PHP implementation of this operation, with no luck.

Is there any way to implement it using only operators available in PHP? Will it be efficient and fast?

就像Graphs 有一个不错的、通用的/通用的 ADT一样。

“真值表”有什么东西吗？我正在尝试从已经实现真值表的项目中找到“类”定义。

如果不是，您将如何设计（通用）真值表 ADT？

更新：正如评论中所建议的，这是我想出的：

• 添加（删除）一行：（添加TruthTable.add(input,output)的第一行用于提取输入和输出的长度（以位为单位）。所有后续行添加都将针对此进行验证。）和TruthTable.delete(input)
• 获取给定输入的输出（图像）：TruthTable.output(input)或TruthTable.image(input)
• 获取所有输入：（TruthTable.inputs里程表订购。）
• 获取所有输出：（TruthTable.outputs根据输入顺序或里程表顺序排序？）
• 查看一个表是否完全指定，即对于所有 2 ^{n 个}可能的输入，是否指定了一个输出：TruthTable.completely_specified?

其他专门的操作可以是：

• 检查真值表是否可逆：TruthTable.invertible?
• 检查两个表是否等价：TT1 ==? TT2

（我有时希望编程语言允许方法名称以“？”结尾，对于那些返回 a 的方法的名称Bool）

假设我有以下数据框：

我加载 QCA 库进行模糊定性比较分析：

然后我构造了真值表：

没问题，但是当我尝试使用以下代码为复杂解决方案获取布尔最小化时：

我总是收到错误消息：

我究竟做错了什么？

谢谢。

我有一套大约 30 条英语句子规则，用于确定工作时间是标准时间、加班时间还是双倍时间。

我需要制作一张员工一天中的总小时数表，并根据员工所属的工会的标准、加班时间或双倍时间对它们进行相应的拆分。

我在想，如果我可以将英语规则转换为句子逻辑公式，那么我可以创建一个真值表来传递员工行以确定哪些时间是标准时间、加班时间或双倍时间。

有人对我如何完成这项任务有任何想法/示例吗？我愿意接受所有建议。

感谢所有回复，迈克

以下是示例规则和示例行；

1. 规则：ST 支付计划轮班内的所有工作时间
2. 行：

数据行：

我正在阅读 MIPS 处理器，我试图理解他们从这个真值表中得到逻辑方程（方案或第二张图片）

例如对于 ALU0，我理解 x 的含义并理解他们是如何得到这个小表的：

但是现在，问题是：他们是如何得到这个逻辑方程 ALU i的？？？：

真值表

方案

有人可以解释这些概念是如何工作的吗？

我有 1 个问题。但我不知道对构建真值表有什么想法。

f(A,B,C) = AB + A'C

给出的答案是 ABC + ABC' + A'BC + A'B'C

我不知道它是如何到达那里的。:-(

我如何为这个逻辑电路制作一个真值表

我的尝试：

我认为逻辑表达式是这样的：

Z= −(−(A∧B)∨−(A∧B)∧−(B∧C))∧(−(A∧B)∧−(B∨C))

我有一个包含 4 列数据的数据表，第一列带有限制值，接下来的 3 列带有最大值（来自不同的表）。我需要运行一个真值表，它会找到第一个失败的值 limval > maxval。然后我需要输出它失败的 maxval 列名和限制值。到目前为止，这就是我完成真值表的方式。

我需要导出前 2 个出现的列名和限制值 打开任何和所有关于如何执行此操作的建议（或更改我如何完成真值表）谢谢！

我需要编写一个函数，该函数将一个整数作为参数，该整数表示真值表中的一行，以及一个布尔数组，其中存储真值表中该行的值。

这是一个示例真值表

请注意，给定的真值表的行数可能比该表多或少，因为可能变量的数量可能会发生变化。

函数原型可能如下所示

例如，如果调用此函数

它需要返回一个包含以下元素的数组

对我来说困难是因为变量的数量可以改变，因此增加或减少行数。例如，变量列表可以是 A、B、C、D、E 和 F，而不仅仅是 A、B 和 C。

我认为最好的解决方案是编写一个计数到行号的循环，并从本质上改变数组的元素，就像它以二进制计数一样。以便

我一生都无法弄清楚如何做到这一点，也无法在网络上的其他地方找到解决方案。抱歉所有的困惑，感谢您的帮助

我正在尝试编写一个代码，该代码将采用格式类似于

它需要为它打印出真值表，看起来像

我设计了一种处理 XOR 和隐含运算符的方法，但我意识到它仅在运算符位于内括号内时才有效，而不是当运算符位于两组括号之间时...

我已经为此工作了太多小时，有人可以告诉我我可以使用什么来代替吗？

现在我想多了，我是否可以尝试读取第一个（），然后是第二个（）等等作为单独的变量，将它们转换为计算机可以理解的布尔值，然后将它们注入正确的格式正确吗？

我现在正在处理的源代码是