1)
var x,s:real;
begin
readln(x);
s:=cos(x) - sin(x) + abs(x-7) + x*x - 1;
writeln (s)
<span>end.
2)
var x,y,s:real;
begin
readln(x,y);
s:=(x+y)/2;
writeln(s)
<span>end.
3)
var x,y:real;
begin
readln(x);
if x<0 then y:=x*x-5;
if x=0 then y:=3;
if x>0 then y:=x-3;
writeln(y)
<span>end.</span></span></span>
Тут вот в чем дело. Импликация имеет такую таблицу истинности:
A | B | A->B
0 | 0 | 1
0 | 1 | 1
1 | 0 | 0
1 | 1 | 1
Если первое выражение ложно, то при любом втором выражении результат будет истинным.
0 -> (0 -> (x&A =/= 0)) = 1
0 -> (1 -> (x&A =/= 0)) = 1
То есть все выражение истинно при ЛЮБОМ А.
Поэтому нам нужно искать такие х, при которых 1 выражение истинно.
Если 1 выражение истинно, то результат будет истинным ТОЛЬКО если 2 выражение тоже истинно. Но во 2 выражении тоже импликация!
1 -> (0 -> (x&A =/= 0)) = 1 -> 1 = 1
1 -> (1 -> (x&A =/= 0)) = 1 только если (x&A =/= 0) истинно.
Теперь рассмотрим, при каких х первые два выражения ОБА истинны.
35 = 100011(2); 31 = 011111(2)
35 & 31 = 000011(2) = 3
Чтобы выражение
x&A =/= 0 было истинно, в числе А должна быть 1
в любом из двух младших битов в двоичном представлении.
Минимальное А = 1
64 = 2^6 => i=6
8 = 2^3 => i=3
6/3=2
Объем занимаемой памяти уменьшился в два раза.