Условные обозначения:
not(x)=не(х)
\/ = +
/\=*
1) F=(x+z)*(x+not(z))*not(y)={можем раскрыть скобки точно так же, как в обычной алгебре}=(x*x+x*not(z)+z*x+z*not(z))*not(y)={применяем закон идентичности, исключающего третьего, свойства констант}=(x+x(not(z)+z)+0)*not(y)=(x+x*1)not(y)=(x+x)*not(y)=x*not(y);
2) F=(x+z)*(x+not(z))*not(y)={можем сразу воспользоваться законом дистрибутивности}=(x+z*not(z))*not(y)=(x+0)*not(y)=x*not(y).
===== PascalABC.NET =====
begin
var d := 0;
while True do
if ReadlnReal >= 22 then break
else d += 1;
Print( d div 7)
end.
Var i,j,k: integer;
<span> a: set of integer;
</span><span>begin
</span><span> i:=3; a:=[];
</span><span> repeat
</span><span> k:=0;
</span><span> for j:=2 to trunc(sqrt(i))+1 do
</span><span> if (i mod j)=0 then
</span><span> begin
</span><span> k:=1;
</span><span> break;
</span><span> end;
</span><span> if k=0 then a:=a+[i];
</span><span> i:=i+4;
</span><span> until i>256;
</span><span> writeln(a);
</span><span>end.
</span><span>83 79 167 163 251 71 67 151 239 59 139 227 47 223 43
131 127 211 31 23 199 19 107 103 191 11 7 3 179
</span><span>
</span>