1. Упростить логическое выражение 1. ¬(В & А) v ¬(С & В)
2. ¬Х & (¬Y v X)
3. (A  B)(AB)
4. (A  B)(AB)
5. ¬(¬Х¬Y)
6. (¬XY)X
7. ¬(A¬B)
8. А (¬В ¬В¬С)
9. A ∧ B + ¬B + ¬A ∧ B
10. A + A ∧ B + A ∧ C
11. Х&X&1
12. 0&Xv0
13. 0vX&1
14. B&(AvA&B)
15. (AvC)&(AvC)&(BvC)
16. A&B v A&Bv A&BvB&C
17. не (Х и (не Х и не Y))
18. не Х или (не (Х и Yи не Y))
19. не Х и (не(неY или Х))
20.

PascalABC.NET 3.4.0, сборка 1672 от 10.06.2018
Внимание! Если программа не работает, обновите версию!

Самое глупое, что можно было придумать - использовать цикл с предусловием while ... do там, где имеется заданное число повторений:

begin
  var n:=ReadInteger('n=');
  var (s,i):=(0.0,1);
  while i<=n do begin
    s+=1/Sqr(2*i+1);
    i+=1
    end;
  Writeln('S=',s)
end.

Пример
n= 10
S=0.210988884817533

Гораздо естественнее тут выглядит цикл со счетчиком:

begin
  var n:=ReadInteger('n=');
  var s:=0.0;
  for var i:=1 to n do
    s+=1/Sqr(2*i+1);
  Writeln('S=',s)
end.

А если использовать современные возможности программирования в PascalABC.NET, решение вообще в одну строчку:

begin
  Writeln('S=',SeqGen(ReadInteger('n='),t->1/Sqr(2*t+1),1).Sum)
end.

PascalABC.NET 3.4.0, сборка 1672 от 10.06.2018
Внимание! Если программа не работает, обновите версию!

Самое глупое, что можно было придумать - использовать цикл с предусловием while ... do там, где имеется заданное число повторений:

begin
  var n:=ReadInteger('n=');
  var (s,i):=(0.0,1);
  while i<=n do begin
    s+=1/Sqr(2*i+1);
    i+=1
    end;
  Writeln('S=',s)
end.

Пример
n= 10
S=0.210988884817533

Гораздо естественнее тут выглядит цикл со счетчиком:

begin
  var n:=ReadInteger('n=');
  var s:=0.0;
  for var i:=1 to n do
    s+=1/Sqr(2*i+1);
  Writeln('S=',s)
end.

А если использовать современные возможности программирования в PascalABC.NET, решение вообще в одну строчку:

begin
  Writeln('S=',SeqGen(ReadInteger('n='),t->1/Sqr(2*t+1),1).Sum)
end.