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