A proposição Um engenheiro de som é desnecessário em um...

A proposição “Um engenheiro de som é desnecessário em um filme se, e somente se, o filme em questão é mudo” é logicamente equivalente a “Um engenheiro de som é desnecessário e o filme em questão é mudo ou um engenheiro de som é necessário e o filme em questão não é mudo”.