Can anyone help me out with the following? -p<->q (p->q)v(-p->q) (p->q)^(-p->q) (p<->q)v(-p<->q) (-p<->-q)<->(p<->q)