Задание 1. Докажите, что дважды или четырежды (вообще, четное количество раз) отрицающееся высказывание имеет то же самое значение истинности, что и исходное высказывание. Задание выполняется с таблицы истинности.

Задание 2. Ученик заполнил таблицу истинности для выражения F. Он успел заполнить лишь небольшой фрагмент таблицы(файл прикреплён)

Каким выражением может быть F?

1) Y1 ^ ¬ Y2 ^ у3 ^ ¬у4 ^ у5 ^ у6 ^ ¬у7 ^ ¬у8

2) Y1 v Y2 v у3 v ¬у4 v ¬у5 v ¬у6 v ¬у7 v ¬у8

3) ¬Y1 ^ Y2 ^ ¬у3 ^ у4 ^ у5 ^ ¬у6 ^ у7 ^ у8

4) Y1 v ¬Y2 v у3 v ¬у4 v ¬у5 v ¬у6 v ¬у7 v ¬у8​

PascalABC.NET 3.3.5, сборка 1662 от 29.04.2018
Внимание! Если программа не работает, обновите версию!

begin
  var (sn,pp,kp):=(0,1,0);
  var n:integer;
  repeat
    Read(n);
    if (n<0) and n.IsOdd then sn+=n
    else
      if (n>0) and (n mod 3=0) then begin pp*=n; kp+=1 end
  until n=0;
  if sn=0 then begin
    Writeln('Нет отрицательных нечетных чисел');
    if kp=0 then Writeln('Нет положительных чисел, кратных 3')
    else Writeln('Произведение положительных чисел, кратных 3: ',pp)
    end
  else begin
    Writeln('Сумма отрицательных нечетных чисел: ',sn);
    if kp=0 then Writeln('Нет положительных чисел, кратных 3')
    else Writeln('Произведение положительных чисел, кратных 3: ',pp)
    end
end.

Пример
-367 23 62 7 12 -24 90 152 -63 0
Сумма отрицательных нечетных чисел: -430
Произведение положительных чисел, кратных 3: 1080

Program Project1;

var m:array of integer; n, i, summ:integer;

begin
  repeat
    write('n: '); readln(n);
    SetLength(m, Length(m)+1);
    m[Length(m)-1]:=n;
  until n=0;
  SetLength(m, Length(m)-1);

  n:=0; summ:=0;
  for i:=0 to Length(m)-1 do begin
    if m[i]>12 then begin
      inc(n);
      inc(summ, m[i]);
    end;
  end;

  Writeln('Result:=', summ/n);

  readln;
end.

2)

program Project1;

var n, t, res: integer;

begin
  write('N:=');readln(n);
  res:=1;
  while n>0 do begin
    t:=(n mod 10);
    if t<4 then res:=res*t;
    n:=n div 10;
  end;

  writeln('Result:=', res);

  readln;
end.