Решить: 1. нужно равносильными преобразованиями каждую из следующих формул к дизъюнктивной нормальной форме: а) (x↔y) ∧ ¬ (z→ t) б) ((x → y) → (z→ ¬ x)) → (y→ ¬z)

// pascalabc.net 3.2, сборка 1387 от 20.02.2017 // внимание! если программа не работает, обновите версию! begin   var n: =readinteger('количество строк/столбцов в матрице: ');   writeln('*** матрица а ***');   var a: =matrrandom(n,n,-50,50); a.println(4);   writeln('*** матрица b ***');   var b: =matrrandom(n,n,-50,50); b.println(4);   writeln('*** матрица c ***');   var c: =matrrandom(n,n,-50,50); c.println(4);   writeln(4*a.colcount*'-');   writeln('*** (|a|+|b|)x|c| ***');   var t: =new integer[n,n]; // временная иатрица для суммы   for var i: =0 to n-1 do       for var j: =0 to n-1 do           t[i,j]: =a[i,j]+b[i,j]; // сумма матриц   var r: =new integer[n,n]; // матрица-результат   for var i: =0 to n-1 do       for var j: =0 to n-1 do begin           var s: =0;           for var k: =0 to n-1 do s+=t[i,k]*c[k,j];           r[i,j]: =s           end;   r.println(8) end. пример количество строк/столбцов в матрице: 6 *** матрица а ***   32 -26  27 -45 -48  38   -40  -5 -20 -26  23  27     0  33    1 -38 -42  14   11    1  33  43 -43 -30   -11  15  -8 -19  14  36   16  24 -34 -33  33  22 *** матрица b ***   -20  42 -10  10 -38  27   -30  18 -17 -43  22  12   -8 -45  17 -45  34  45   -12  39 -34    6  17 -12   -5  30  31  -5    8  49   10 -17 -50  29  32 -34 *** матрица c ***   -26 -49 -12 -45  23 -10   38 -19  43  31  39    9   -32  10  41 -29  29  44     6  24 -25 -49 -36 -18   47  25 -41 -16  -3 -11   12  13 -27    1  31  33 *** (|a|+|b|)x|c| ***     -3720    -2867      3887      2619      4926      4493       5667      2789    -1291      7326      1382      1223       -990      -625      1128      3720      4711      4293         146      -741      2666      -713    -1480    -1656       3300      1238        473      2357      5487      4572       5165      -874    -5696        627    -1988    -4932

Var       i, s1, s2, s3, s4, n: integer; begin       write('n = ');       readln(n);       s1 : = 0;       s2 : = 0;       s3 : = 0;       s4 : = 0;             for i : = 1 to n do       begin               s1 : = s1 + i;               s2 : = s2 + sqr(i);               if i mod 2 = 0 then s3 : = s3 + i;       end;             for i : = 10 to 99 do s4 : = s4 + i;             writeln('сумма первых n натуральных чисел: ', s1);       writeln('сумма квадратов первых n натуральных чисел: ', s2);       writeln('сумма всех четных чисел: ', s3);       writeln('сумма всех двухзначных чисел: ', s4); end.