p^v^q