algorithm - 是否有用于比较 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 语句，您可以认为第 1 组和第 2 组是“等效的”，因为 someMethod 仅在 a 和 b 为真时执行.同样，set 1 和 set 3 并不等效，因为当 a 为真且 b 为假时 someMethod 不会被 set 1 执行，但会在相同条件下在 set 3 中执行。

Answer 1

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

1. 为每组if创建卡诺图

2. 比较 map

   如果 map 相同则 if 语句等价，否则它们不同。

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

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

• set1 == set2
• set3不同