P q v p r truth