Question 665002
p->qvr(-p->q)v(p->r)