What is the algorithm for checking logical equivalence of specifications?

Asked Nov 24 '22 at 11:02

Active Nov 24 '22 at 11:02

Viewed 40 times

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?

asked Nov 24 '22 at 11:02

Pavel Voronin

13,503
7
71
137

1

Like `a.Where(x => b.All(y => y != x))` is equal to `a.Where(x => !b.Any(y => y == x))` which is equal to `a.Except(b)`? – Magnus Nov 24 '22 at 14:52
@Magnus, yes. In very general case it is. – Pavel Voronin Nov 24 '22 at 15:30

What is the algorithm for checking logical equivalence of specifications?

0 Answers0