Sponsor Bitwise Logic Expressions

[kraptor23]

Hello,

I'd be interesting in sponsoring some additional logic for simplification. We'd like to use symbolics to understand bitwise operators as well. For instance...

(A | B) & (A | C) & (A | D) -> A & (B | C | D)
(A OR B) AND (NOT (A AND B)) -> A XOR B

Or 2 & 6 -> 2

Let me know if this is something you could add, and ping back about how we could sponsor this to get it in sooner.

Thanks,

-Karl