[(p∧r)*v*(q∧s)]=[(p*v*q)∧(r*v*s)]