我有来自两个不同来源的“if语句”，它们试图以可能不同的方式实现相同的条件。这些“if语句”是C语言代码。 如果可能的话，我需要一个Python脚本，可以决定条件对是否等效。 以下是基本示例： source1: ((op1 != v1) || ((op2 != v2) || (op3 != ...

在Haskell中，我可以使用下面的代码： sortBy (comparing snd) 按元组中第二个值排序，有相应的函数吗？我已经想出了这个方法，但也许标准库中有更好的解决方案。 是否有测试等价性的等效函数？我已经想出了下面的代码，但是标准库中可能有更好的方法。 equalsB...

我相信我在大学的某门课程中做过类似的事情，并且有某种公式，但是我记不清楚了。 给出这个陈述：( a OR b OR d ) AND ( a OR c ) 我很确定它可以简化为：( a OR b OR d OR c ) 但我不记得该如何证明它。 也许是一系列逻辑表格吗？