Андрей и Борис обвиняются в преступлении. Они дают показания:
Андрей – «Борис виновен, а я не виновен»,
Борис – «Если Андрей невиновен, то невиновен и я».
Тогда из данных показаний можно сделать вывод …
если Андрей лжет, а Борис говорит правду, то невиновен – Андрей, а виновен – Борис.
если оба говорят правду, то оба невиновны.
если оба лгут, то виновен – Андрей и невиновен – Борис.
если Андрей говорит правду, а Борис лжет, то невиновен – Андрей, а виновен – Борис.