Consider I have an audience target group defined as:
age >= 13 && gender == Gender.Female
or as
gender == Gender.Female && age >= 13
These are equivalent specifications, which differ slightly in definition. However, specifications can be hierarchical and quite complex, forming an expression tree.
Is there a performant algorithm of checking logical equivalence of expressions/specifications?