Luca, Sarà e Gaia vanno spesso per lavoro in 5 città: Milano , Napoli Palermo Roma e Venezia. Mercoledì ciascuno di loro è andato in una e una sola città diversa. si considerano le seguenti affermazioni vere riguardo alle città visitate da Luca Sara e Gaia:
– se Luca ha visitato Roma allora sarà ha visitato Napoli o Gaia ha visitato Palermo
– se Luca ha visitato Roma allora sarà ha visitato Milano o Gaia ha visitato Palermo
– se Luca non ha visitato Roma allora sarà ha visitato Napoli o Gaia ha visitato Palermo
– se Luca non ha visitato Roma allora sarà ha visitato Milano o Gaia ha visitato Palermo
Quale conclusione segue necessariamente dalle premesse ?

A.Gaia ha visitato Palermo
B.Sara ha visitato Napoli
C. Sara ha visitato Milano
D. Luca ha visitato Roma
E. Luca non ha visitato Roma