Raciocínio Lógico — equivalências lógicas

Um Inspetor do DETRAN atendeu três amigos. Um deles num carro vermelho, outro num carro preto e outro num carro cinza. O inspetor sabe que um deles chama-se Paulo, o outro Pedro e o outro Mário. Sabe ainda que cada um deles vem de um município diferente: um vem do município A, outro do município B e o outro do município C . Ao inspetor, que queria identificar o nome e o município de cada um, eles deram as seguintes informações:O motorista do carro vermelho: não sou do município B nem do município C . O motorista do carro preto: meu nome não é Pedro nem Mário. O motorista do carro cinza: nem eu nem Pedro moramos no município B. Oinspetor concluiu, então, acertadamente, que: