Informática

Araújo, Baraúnas e Carvalho são três servidores do CREA. Eles, não necessariamente nessa

ordem, ocupam cargos de Motorista, Agente de Fiscalização e Auxiliar Técnico, e sempre se deslocam

para o trabalho em veículos distintos: moto, carro próprio ou ônibus coletivo. O Agente de Fiscalização,

que não é o Carvalho, usa o próprio carro para se deslocar ao trabalho enquanto que Baraúnas, que

não é o Auxiliar Técnico, usa ônibus. Pode−se afirmar que