( pv q v ( p q p