Matemática — estruturas lógicas (tabela verdade)

Carlos, João, Luís e Pedro são proprietários, cada um deles de um cavalo. Cada um deles nomeou o seu cavalo com o nome de algum dos amigos e de maneira que os cavalos têm nomes diferentes. Um dia, eles estão cavalgando juntos e: Qual o nome do cavalo que tem como proprietário aquele que monta o cavalo chamado Luís?