Рассмотрите блок-схему и заполните трассировочную таблицу.

А) не ( A или не В и С ) упрощаем выражение и получаем
not(a) and (b or not(c))

Код на Python:

for a in range(0,2):
    for b in range(0,2):
        for c in range(0,2):
            f=not(a) and (b or not(c))
            print('A = ',a,'B = ',b,'C = ',c,'F = ',f)

б) А и не ( В и или не С) получим такое выражение:
a and (b or not(c))

Код на Python:

for a in range(0,2):
    for b in range(0,2):
        for c in range(0,2):
            f=a and (b or not(c))
            print('A = ',a,'B = ',b,'C = ',c,'F = ',f)


в) не ( не А или В и С)  преобразуем:
a and (b or c)

Код на Python:

for a in range(0,2):
    for b in range(0,2):
        for c in range(0,2):
            f=a and (b or c)
            print('A = ',a,'B = ',b,'C = ',c,'F = ',f)

ответ давал уже когда-то... отклика не дождался, видимо. оно так надо было.

function Knight(x1, y1, x2, y2: integer): Boolean;
{ Возвращает True, если возможен переход с (x1,y1) на (x2,y2) }
begin
  if abs(x2 - x1) = 2 then Knight := (abs(y2 - y1) = 1)
  else
  if abs(x2 - x1) = 1 then Knight := (abs(y2 - y1) = 2)
  else Knight := false
end;

function Queen(x1, y1, x2, y2: integer): Boolean;
{ Возвращает True, если возможен переход с (x1,y1) на (x2,y2) }
begin
  Queen := (x1 = x2) or (y1 = y2) or (abs(x2 - x1) = abs(y2 - y1))
end;

var
  xk, yk, xq, yq: integer;

begin
  Write('Укажите через пробел координаты коня  [1..8]: ');
  Readln(xk, yk);
  Write('Укажите через пробел координаты ферзя [1..8]: ');
  Readln(xq, yq);
  if Knight(xk, yk, xq, yq) then Writeln('Конь бьет ферзя')
  else
  if Queen(xq, yq, xk, yk) then Writeln('Ферзь бьет коня')
  else Writeln('Фигуры не угрожают друг другу')
end.