是否有比较 if 语句的算法？

Question

是否有算法和/或工具来检测两组具有相同条件的if 语句是否相等？当我说“等效”时 - 我的意思是它们对所有给定的输入执行相同的代码。例如：

# set 1
if a
  if b
    someMethod()
  end
end

# set 2
if a && b
  someMethod()
end

# set 3
if a || b
  someMethod()
end

鉴于这 3 组 if 语句，您可以认为 set 1 和 set 2 是“等价的”，因为 someMethod 只有在 a 和 b 为真时才会执行。同样，set 1 和 set 3 不等价，因为 someMethod 在 a 为 true 且 b 为 false 时不会被 set 1 执行，但会在相同条件下在 set 3 中执行。

Answer 1

我会使用Karnaugh Maps，这是非时序逻辑综合和分析的标准。

1. 为每组ifs 创建卡诺图

2. 比较地图

   如果映射相同，则 if 语句是等效的，如果不是，则它们是不同的。

抱歉，回答简短，但我不知道还有什么要补充的，因为这是基本知识。

[edit1] 只是你的情况......

• set1 == set2
• set3 不一样