Em uma empresa, houve um problema de encanamento. O problema foi resolvido se, e somente se, o técnico, o encanador e o porteiro foram ao trabalho. Se o porteiro foi ao trabalho, então, o técnico ou o encanador foi ao trabalho. Se o problema não foi resolvido, então, o técnico não foi ao trabalho. Se o porteiro não foi ao trabalho, então, o problema foi resolvido. Ora, o problema não foi resolvido, logo é possível saber que
