Решение логической задачи на Delphi

[fastrecovery]

Нужно что бы программа решала задачу, и выводила ответ в консоль.
Задача:
Алеша, Боря и Гриша нашли в земле сосуд. Рассматривая удивительную находку, каждый высказал по два предположения:
Алеша: "Сосуд греческий и изготовлен в V в."
Борис: "Сосуд финикийский и изготовлен в III в."
Гриша: "Сосуд не греческий и изготовлен в IV в."
Учитель истории сказал ребятам, что каждый из них прав только в одном из двух предположений. Где и в каком веке изготовлен сосуд?
Ответ: cосуд изготовлен в Финикии в V в.

Я набросал основу задачи, но не знаю как правильно записать решение на языке Delphi.

program Project2;

{$APPTYPE CONSOLE}

uses
  SysUtils;

var
a,b,c,d,e,f,g,v3,v4,v5:boolean;
begin
// не знаю как правильно записать через xor или через and и or.
a:= g xor v5;  // (g and not v5) or (not g and v5)
b:= f xor v3; //   (f and not v3) or (not f and v3)
c:= not g xor v4; // (not g and not v4) or (g and v4)

d:= v3 xor v4 xor v5; // (v3 and (not v4) and (not v5)) or ((not v3) and v4 and (not v5)) or ((not v3) and (not v4) and v5)
e:= g xor f; // (f and not g) or (not f and g)

//На языке алгебры логики я решал это путем соединения 5 вышеуказанных высказываний в одно и упрощения. Проблема в том, что я не знаю как правильно записать это на языке Delphi, чтобы выводился ответ.

if g=true then writeln('SOSYD IZGOTOVLEN V GRECII');
if f=true then writeln('SOSYD IZGOTOVLEN V FINIKII');
if v3=true then writeln('SOSYD IZGOTOVLEN V 3 VEKE');
if v4=true then writeln('SOSYD IZGOTOVLEN V 4 VEKE');
if v5=true then writeln('SOSYD IZGOTOVLEN V 5 VEKE');

readln;
  { TODO -oUser -cConsole Main : Insert code here }
end.

[Аватар]

Программно систему логических уравнений? 5 переменных, 2^5 возможных комбинаций их значений, перебор всех с поиском подходящей комбинации, типа компьютерного варианта таблицы истинности. Или решить систему на бумаге и в проге выдать только ответ ))

[Serge_Bliznykov]

Сообщение от fastrecovery

if g=true then

не надо так писать. В данном случае это "масло масляное" (тавтология)

достаточно

if g then ...
f f then ..
if v3 then ...