[(p'v0) v p'] ve q=? ​