Могу только это решение дать
var x,y:real;
begin
read(x,y);
if (x*x+y*y>4) and (y0) then writeln ('YES')
else writeln('NO');
end.
Рассуждения строим опираясь на то, что заявление Мердока учитывать не нужно, поскольку неизвестно, истинно оно или ложно.
1. Допустим А - Мердок. Тогда утверждение B истинно, следовательно утверждение С должно было ложным (рыцарь должен сказать правду, а лжец - солгать). Но С истинно, следовательно А - не Мердок.
2. Допустим В - Мердок. Тогда утверждение А ложно, а утверждение С должно быть истинным. Так и есть, следовательно В может быть Мердоком.
3. Допустим С - Мердок. Тогда утверждение А ложно, а утверждение В должно быть истинным. Но утверждение В ложно, следовательно С - не Мердок.
Ответ: В - Мердок.
Всего строк в таблице истинности = 2^7 =128 строк,
из семи одинаковых строк только одна имеет 1 (единицу ) в столбце значений, то есть F=1 G=1 F*G =1
Для всех остальных строк, где F и G принимают значения, равные нулю или различные значения: F*G =0
128 - 1=127 - количество строк, где F*G=0
http://easyen.ru/load/informatika/proekty_uchashhikhsja/430