Для удобства построения таблицы истинности введем логические переменные.
Обозначим 2*2=4 через a, 3*3=9 - через b.
Тогда высказывание примет вид:
Для этого выражения и построим таблицу истинности.
2. Для доказательства равносильности указанных выражений можно построить таблицы истинности и сравнить их.
Как видно, НЕСОВПАДЕНИЕ полное, т.е. ни при каком сочетании a и b выражения не равносильны. Это подтверждается теорией - имеются законы де-Моргана, в которых еще присутствует общее отрицание или в правой. или в левой части.
Объяснение:
Не знаю на каком языке надо было, но сделал на языке Pascal
1.
var s:string;
k,i:integer;
begin
readln(s);
k := length(s);
writeln(k);
end.
2.
var a,b:string;
i:integer;
begin
writeln('Введите первую фамилию');
readln(a);
writeln('Введите вторую фамилию');
readln(b);
i:=length(a)-length(b);
if i>0 then
writeln('Первая фамилия длиннее')
else writeln('Вторая фамилия длиннее')
end.
еще как вариант второго номера:
var a,b:string;
i:integer;
begin
writeln('Введите первую фамилию');
readln(a);
writeln('Введите вторую фамилию');
readln(b);
i:=length(a)-length(b);
if i>0 then
writeln('Фамилия ', a, ' длиннее фамилии ', b)
else writeln('Фамилия ', b, ' длиннее фамилии ', a)
end.