是否有比较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为false时，someMethod将不会被set 1执行，但在相同条件下将在set 3中执行。

Answer 1

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

1. 创建卡诺图每组if小号

2. 比较图

   如果地图是相同的，则如果如果没有的话，他们是不同的语句是等价的。

对不起，我不知道还有什么要补充的，因为这是基本的知识。

[EDIT1]刚才你的情况...

• set1 == set2
• set3是不同