¬А->(A\/B/\C)
Импликация -> даёт ложь только в случае, когда левая часть равна единице, а правая равна нулю. В левой части, у нас находится ¬А, а значит при всех ¬А = 0, то есть А = 1, высказывание будет истинно. Ставим единички во всех строках, где А = 1.
Рассмотрим теперь случаи, когда ¬А = 1, то есть А = 0. Чтобы импликация была истинной необходимо, чтобы правая часть давала истину. Рассмотрим A\/B/\C - так как А = 0, необходимо, чтобы обе переменныe, и В, и С были равны единице. Ставим единичку в строке, где В = 1, С = 1. Во все остальные строки ставим нули.
Итоговая таблица истинности:
А | В | С | F
0 | 0 | 0 | 0
0 | 0 | 1 | 0
0 | 1 | 0 | 0
0 | 1 | 1 | 1
1 | 0 | 0 | 1
1 | 0 | 1 | 1
1 | 1 | 0 | 1
1 | 1 | 1 | 1
Program aa;
var
a:array[1..20] of integer;
b:array[1..15] of integer;
c,d:integer;
i:integer;
begin
randomize;
for i=1 to 7 do
a[i]:=random(21);
randomize;
for i=1 to 9 do
b[i]:=random(16);
c:=a[3]+a[5];
d:=b[2]+b[4];
writeln(C+' ' +d);
end.