Added method for simplifying logical expressions. One more move-test passes now.