Έστω ότι ισχύουν οι ακόλουθες προτάσεις:

·        Αν ο Μάρκος δεν συνάντησε το Γιάννη, τότε ο Γιάννης είναι ο δολοφόνος και ο Μάρκος ψεύδεται.

·        Αν ο Γιάννης δεν είναι ο δολοφόνος, τότε ο Μάρκος δεν συνάντησε το Γιάννη και το έγκλημα έγινε μετά τα μεσάνυχτα.

·        Αν ο Γιάννης δεν είναι ο δολοφόνος και ο Μάρκος ψεύδεται, τότε το έγκλημα έγινε τα μεσάνυχτα ή πριν.

Ο Γιάννης είναι τελικά ο δολοφόνος;

Λύση