( pq p q v q p