Resolve[ForAll[{x,y}, x or y]]