Построить таблицы истинности для следующих выражений:
1) (x → y /\ ¬ z) \/ w
2) (x  z)  (x  y)
3) ¬y  x  (¬z  w)

program raf105;

const

 n = 10;

var

 a,b,c: array[1..n] of integer;

 i,j,x,max,mpos,b1,c1: integer;

begin

write('Введите максимальное число: ');

readln(x);

writeln('Заполните массив из ',n,' элементов');

for i:=1 to n do

begin

 readln(a[i]);

 if a[i] > x

   then begin

     b1:= b1+1;

     b[b1]:= a[i];

   end

   else begin

     c1:= c1+1;

     c[c1]:= a[i];

   end;

end;

for i:=1 to c1 do

begin

 max:= -10000;

 for j:=i to c1 do

   if c[j] >= max

     then begin

       max:= c[j];

       mpos:= j;

     end;

 c[mpos]:= c[i];

 c[i]:= max;

end;

for i:=1 to b1 do

 a[i]:= b[i];

for i:=1 to c1 do

 a[i+b1]:= c[i];

write('Отсортированный массив: ');

for i:=1 to n do

 write(a[i],' ');

end.

PascalABC 3.4.2

Сначала немного теории.
Тут у нас импликация(если..то...), комбинированная с конъюнкцией(и).
Таблица истинности импликации(стрелочки):
0 0 1
0 1 1
1 0 0
1 1 1
Общее правило: если a<=b, тогда правда
Таблица истинности конъюнкции(/\):
0 0 0
0 1 0
1 0 0
1 1 1
Общее правило: если есть одна ложь-всё ложь.
Про НЕ и гуманитарий поймёт.
Про данный пример:
Нам нужен вариант, где оба выражения являются правдой, т.к. между ними стоит И
Подробно рассмотрим первый вариант:
Ирина
Первая буква гласная-правда
Вторая буква гласная-ложь
Значит, результат импликации-ложь, в чём можно убедиться взглянув на таблицу истинности, но, так как НЕ так же присутствует в данном условии, это выражение возвращает правду.
Последняя буква гласная-правда
Так как оба выражения при конъюнкции правда, всё выражение является правдой и удовлетворяет условию.