Відомі чотири твердження:

1) «Одне з двох:

або зловмисник поїхав у екіпажі, або свідок помилився

2) «Якщо

зловмисник мав спільника, то він поїхав у екіпажі»

3) «Зловмисник не

мав спільника і не мав ключа, або мав спільника та ключа»

4) «Зловмисник мав ключа»

Позначимо:

З - «зловмисник поїхав у екіпажі»

С - «злочинець мав спільника»

К - «зловмисник мав ключа»

О - «свідок помилився»