Антон, Вадим и Георгий нашли во время раскопок сосуд. Рассматривая удивительную находку, каждый высказал по два предположения. Антон: «Это сосуд греческий и изготовлен в V веке». Вадим: «Это сосуд финикийский и изготовлен в III веке». Георгий: «Это сосуд

1. Дано

У нас есть три человека (Антон, Вадим, Георгий), каждый из которых сделал два предположения (о стране происхождения и о веке).

Пусть:

• $Г$ — сосуд греческий.
• $Ф$ — сосуд финикийский.
• $V$ — сосуд V века.
• $III$ — сосуд III века.
• $IV$ — сосуд IV века.

Предположения:

1. Антон (А): $A_1: Г$ (Греческий) И $A_2: V$ (V век).

• Условие: Ровно одно из $A_1$ или $A_2$ истинно.

2. Вадим (В): $B_1: Ф$ (Финикийский) И $B_2: III$ (III век).

• Условие: Ровно одно из $B_1$ или $B_2$ истинно.

3. Георгий (Г): $G_1: \neg Г$ (Не греческий) И $G_2: IV$ (...