Before revision: The OR gate returns true if only one is true; otherwise it returns false.
After revision: The OR gate returns true if either or both of its inputs are true; otherwise it returns false.