Is there an algorithm for comparing if statements?

Question

Is there an algorithm and/or tool for detecting if two sets of if statements with the same conditions are equivalent? When I say \"equivalent\" - I mean that they e

Answer 1

I would use Karnaugh Maps which is standard for non sequential logic synthesis and analysis.

1. create Karnaugh Map for each set of ifs

2. compare the maps

   if the map is the same then the if statements are equivalent if not then they are different.

Sorry for a short answer but I do not have a clue what else to add because this is basic knowledge.

[edit1] just your case ...

• set1 == set2
• set3 is different