Логическая функция F

задаётся выражением:

(x≡¬y)

→ ((x /\ w) ≡ (z /\ ¬w

)).

Дан частично заполненный фрагмент, содержащий неповторяющиеся строки таблицы истинности функции F

.

Определите, какому столбцу таблицы истинности соответствует каждая из переменных w,x,y,z

.

Переменная 1 Переменная 2 Переменная 3 Переменная 4 Функция

??? ??? ??? ??? F

1 1 1 0

1 1 0

0 0

В ответе напишите буквы w,x,y,z

в том порядке, в котором идут соответствующие им столбцы (сначала буква

последняя из всех операций здесь-импликация (стрелка вправо), она принимает значение "1" в 3 из 4 случаев

0→0  1

0→1   0

1→0   1

1→1    1

если в задаче спрашивается, когда выражение все истинно, то оно равно 1 во всех случаях, кроме когда

левая часть <(2X 4) V (X-X > 5) равна 1

, а правая (X - 4> 0) равна 0

подставляя в правую часть все четыре предложенных значения Х от 1 до 4-получаем неправду

а если правая часть неверна. равно 0, то левая не может быть равна 1

проверю все значения х в левой части

x=1

¬(2*1=4)V(1*1>5)=1(верно  1V0=1)-не подходит

x=2

¬(2*2=4)V(2*2>5)=0(неверно 0V0=0)-подходит

x=3

¬(2*3=4)V(3*3>5)=1(верно 1V1=1)-не подходит

x=4

¬(2*4=4)V(4*4>5)=1(верно 1V1=1)-не подходит

ответ x=2

{неэффективный алгоритм}

const
 k = 100;

type
 maze = array [1..k, 1..k] of integer;
 var
 l : maze;
 n, m: integer;
 i, j: integer;
 c: char;
 t: text;
 w: integer;
 x0, y0: integer;
 x1, y1: integer;

procedure ways(a,b,r:integer);
begin
 if (w = 0) or (r < w) then {нет смысла идти дальше, если текущий путь уже превосходит найденный}
 if (l[a,b] <> -2) then
 if (r < l[a,b]) or (l[a,b] = -1) then {нет смысла идти, если текущая клетка уже была достигнута за меньшее число шагов}
   begin
   l[a,b] := r;
   if (a = x1) and (b = y1) then
     w := r
   else
     begin
     if a <> 1 then ways(a - 1, b, r + 1);
     if b <> 1 then ways(a, b - 1, r + 1);
     if a <> n then ways(a + 1, b, r + 1);
     if b <> m then ways(a, b + 1, r + 1);
     end
   end;
end; 
begin
 assign(t, 'input.txt');
 reset(t);
 w := 0;
 readln(t, n, m);
 readln(t, x0, y0);
 readln(t, x1, y1);
 for i := 1 to n do
   begin
   for j := 1 to m do
     begin
     read(t, c);
     case c of
       '.' : l[i,j] := -1; {будем считать, что если клетка отмечена как -1, то путь к ней еще не найден}
       'X' : l[i,j] := -2; {-2, если клетка непроходима}
       end;
     end;
   readln(t)
   end;
 close(t);
 if (l[x0,y0] <> -2) and (l[x1,y1] <> -2) then
   begin
   l[x0,y0] := 1; {просто трюк, чтобы пройти проверку на (r < l[x0,y0])}
     ways(x0, y0, 0);
   end
 else
  l[x1,y1] := -1;
 writeln(l[x1,y1])
end.