P u2192 q v p q