p q r sV V V V F FV V V F F FV V F V F VV V F F F VV F V V F FV
F V F F FV F F V F VV F F F F VF V V V V VF V V F V VF V F V V FF V
F F V FF F V V V VF F V F V VF F F V V FF F F F V F
{[p (q V r)] (r s)} (s p)
F V V F V V V V V F FF V V F V F F V F V FF F F V F V V F V F FF
F F V F V F V F V FV V V F V V V V V F FV V V F V F F V F V FV V F
V F V V F V F FV V F V F V F V F V FF V V V V V V V V V VF V V F V
F F V F V VF F F F F V V V V V VF F F F F V F V F V VV V V V V V V
V V V VV V V F V F F V F V VV V F F F V V V V V VV V F F F V F V F
V V
