I'm trying to reduce boolean expressions like
!(ape & bar) & bar
To:
!ape & bar
But I can't seem to find a strategy to do that cleanly, any ideas? My current strategies are...
Conversation
Replying to
Have a look at the heuristics explained here:

