Фрагменты таблиц истинности - в прилагаемом файле. Так как в таблицах истинности выражений А и В нет совпадающих строк, то это значит, что значения в столбцах А и В противоположны. Т.е., там где для какого-либо набора переменных выражение А имеет значение 0, выражение В будет равно 1, и наоборот, если для какого-либо набора переменных выражение А имеет значение 1, выражение В будет равно 0. Следовательно, в столбце значений таблицы истинности выражения a v b все значения будут равны 1. Количество единиц = 2^6 = 64 ответ: 64
Заведём ещё один массив и будем в него записывать, правда ли, что в массиве есть элементы, равные данному, и текущий элемент - первый из них. Затем выведем все элементы, для которых это оказалось правдой.
Pascal var i, j, n: integer; flag: boolean; a: array[1..10000] of integer; b: array[1..10000] of boolean; begin read(n); for i := 1 to n do begin read(a[i]); b[i] := true; end; b[n] := false;
for i := 1 to n - 1 do if b[i] then begin flag := true; for j := i + 1 to n do if a[i] = a[j] then begin flag := false; b[j] := false; end; if flag then b[i] := false; end; for i := 1 to n do if b[i] then write(a[i], ' '); end.
Так как в таблицах истинности выражений А и В нет совпадающих строк, то это значит, что значения в столбцах А и В противоположны. Т.е., там где для какого-либо набора переменных выражение А имеет значение 0, выражение В будет равно 1, и наоборот, если для какого-либо набора переменных выражение А имеет значение 1, выражение В будет равно 0. Следовательно, в столбце значений таблицы истинности выражения a v b все значения будут равны 1. Количество единиц = 2^6 = 64
ответ: 64
Pascal
var
i, j, n: integer;
flag: boolean;
a: array[1..10000] of integer;
b: array[1..10000] of boolean;
begin
read(n);
for i := 1 to n do
begin
read(a[i]);
b[i] := true;
end;
b[n] := false;
for i := 1 to n - 1 do
if b[i] then
begin
flag := true;
for j := i + 1 to n do
if a[i] = a[j] then
begin
flag := false;
b[j] := false;
end;
if flag then
b[i] := false;
end;
for i := 1 to n do
if b[i] then
write(a[i], ' ');
end.