I am looking for algorithms to find inconsistencies in a set of IF-THEN-ELSE conditions. I am aware of lambda calculus as a model to represent these. Are there any other models?
if (a & b) then X and
if (a & b) then Y are contradictory because of the condition on
a and therefore inconsistent. The rules
if (a) then X and
if (a | b) then Y are overlapping. I am looking for a way to detect both situations.