On the law [p∧q→r]=[(p→r)V(q→r)] in fuzzy logic