检查C中的两个“简单”的“if”语句是否等价

I have 'if statements' from two different sources, which try to implement the same condition possibly in a different way. The 'if statements' are C. If at all possible I need a python script that can decide whether pairs of conditions are equivalent or not. A basic example:I have 'if statements' from two different sourc