![1. \ ((2*2=4) \land (3*3=9)) \lor (\lnot(2*2=4)\land\lnot(3*3=9))](https://tex.z-dn.net/?f=1.+%5C+%28%282%2A2%3D4%29+%5Cland+%283%2A3%3D9%29%29+%5Clor+%28%5Clnot%282%2A2%3D4%29%5Cland%5Clnot%283%2A3%3D9%29%29)
Для удобства построения таблицы истинности введем логические переменные.
Обозначим 2*2=4 через a, 3*3=9 - через b.
Тогда высказывание примет вид:
![(a \land b) \lor (\lnot a\land\lnot b)](https://tex.z-dn.net/?f=%28a+%5Cland+b%29+%5Clor+%28%5Clnot+a%5Cland%5Clnot+b%29)
Для этого выражения и построим таблицу истинности.
2. Для доказательства равносильности указанных выражений можно построить таблицы истинности и сравнить их.
Как видно, НЕСОВПАДЕНИЕ полное, т.е. ни при каком сочетании a и b выражения не равносильны. Это подтверждается теорией - имеются законы де-Моргана, в которых еще присутствует общее отрицание или в правой. или в левой части.
![\bar a \lor \bar b = \overline{a \land b}](https://tex.z-dn.net/?f=%5Cbar+a+%5Clor+%5Cbar+b+%3D+%5Coverline%7Ba+%5Cland+b%7D)
//Pascal ABC.NET 3.1 сборка 1256
Const
n=10;
Var
ar:array[1..n] of integer;
i,k,min:integer;
begin
min:=integer.MaxValue;
writeln('Array:');
for i:=1 to n do
begin
readln(ar[i]);
if ar[i]<min then min:=ar[i];
end;
for i:=1 to n do
if ar[i]-5=min then inc(k);
writeln(k);
end.
// PascalABC.NET 3.0, сборка 1076
var
c:char;
s:string;
begin
s:='';
for c:='А' to 'Я' do begin s:=s+c; Writeln(s) end
end.
<em><u>Тестовое решение:</u></em>
А
АБ
АБВ
АБВГ
АБВГД
АБВГДЕ
АБВГДЕЖ
АБВГДЕЖЗ
АБВГДЕЖЗИ
АБВГДЕЖЗИЙ
АБВГДЕЖЗИЙК
АБВГДЕЖЗИЙКЛ
АБВГДЕЖЗИЙКЛМ
АБВГДЕЖЗИЙКЛМН
АБВГДЕЖЗИЙКЛМНО
АБВГДЕЖЗИЙКЛМНОП
АБВГДЕЖЗИЙКЛМНОПР
АБВГДЕЖЗИЙКЛМНОПРС
АБВГДЕЖЗИЙКЛМНОПРСТ
АБВГДЕЖЗИЙКЛМНОПРСТУ
АБВГДЕЖЗИЙКЛМНОПРСТУФ
АБВГДЕЖЗИЙКЛМНОПРСТУФХ
АБВГДЕЖЗИЙКЛМНОПРСТУФХЦ
АБВГДЕЖЗИЙКЛМНОПРСТУФХЦЧ
АБВГДЕЖЗИЙКЛМНОПРСТУФХЦЧШ
АБВГДЕЖЗИЙКЛМНОПРСТУФХЦЧШЩ
АБВГДЕЖЗИЙКЛМНОПРСТУФХЦЧШЩЪ
АБВГДЕЖЗИЙКЛМНОПРСТУФХЦЧШЩЪЫ
АБВГДЕЖЗИЙКЛМНОПРСТУФХЦЧШЩЪЫЬ
АБВГДЕЖЗИЙКЛМНОПРСТУФХЦЧШЩЪЫЬЭ
АБВГДЕЖЗИЙКЛМНОПРСТУФХЦЧШЩЪЫЬЭЮ
АБВГДЕЖЗИЙКЛМНОПРСТУФХЦЧШЩЪЫЬЭЮЯ
104 * 1024 = 106496 бит
106496 / 8192 = 13 бит / символ
2^13 = <span>8192
</span>2^3 = 8 -> всего 8 различных букв
дальше я не вполне уверен, но...
64 различных варианта, формула для количества вариантов
различных букв^длина слова = количество слов
8^x = 64
<span>x = 2
</span>
160*32*44 = 225280 символов
<span>предположим, это кодировка 1 байт/символ
тогда 225280 байт = 220 Кбайт
если бы было 2 байт/символ, было бы 220 * 2 Кбайт, а такого варианта нет, поэтому: </span> 220 Кбайт<span>
</span>
1/2048 Кбайт = 1/2048 * 1024 = 1/2 байта = 4 бита