Для удобства построения таблицы истинности введем логические переменные.
Обозначим 2*2=4 через a, 3*3=9 - через b.
Тогда высказывание примет вид:
Для этого выражения и построим таблицу истинности.
2. Для доказательства равносильности указанных выражений можно построить таблицы истинности и сравнить их.
Как видно, НЕСОВПАДЕНИЕ полное, т.е. ни при каком сочетании a и b выражения не равносильны. Это подтверждается теорией - имеются законы де-Моргана, в которых еще присутствует общее отрицание или в правой. или в левой части.
Program mas;var i,k,sum:integer; a:array [1..1000] of integer;beginfor i:=1 to 1000 dobegin;readln(a[i]);if a[i]=0 then break;end;k:=0;sum:=0;for i:=1 to 1000 dobegin;sum:=sum+a[i];if (a[i] mod 2=0) and (a[i] mod 5=0) and (a[i]<>0) thenk:=k+1;end;writeln('summa= ',sum);writeln('kolichestvo=',k);readln;end.
У тебя всё есть дерзай! У тебя всё получится!!
.............................................
<em>// PascalABC.NET 3.2, сборка 1427 от 24.04.2017</em>
<em>// Внимание! Если программа не работает, обновите версию!</em>
function Pow(x,y:BigInteger):BigInteger;
begin
Result:=x;
for var i:=int64(2) to int64(y) do Result*=x
end;
begin
var x,y:integer;
Write('Введите натуральные х и у: '); Read(x,y);
if (x<=0) or (y<=0) then begin
Writeln('Неверный ввод'); Exit
end;
if x=1 then Writeln('Результат: ',y+1)
else begin
var x1:=Range(2,x).Aggregate(BigInteger(1),(a,b)->a*b);
Writeln('Результат ',Pow(x,y)+Pow(y,x1))
end
end.
<u>Пример</u>
Введите натуральные х и у: 5 8
Результат 2348542582773833227889480596789337027375682548908319870707290971532209025114608443463698998384768703032325601