p y^ ~p cr