Упростить логическое выражение: ¬ ( K ˄ ¬L ˅ ¬ ( L ˅ ¬M ) ) → M ˄ ¬N ˅ M Описать какие законы используются для упрощения.

// PascalABC.NET 3.0, сборка 1156 от 30.01.2016
function Avg(a:array[,] of integer):real;
begin
  var s:=0; var k:=0;
  foreach var e:integer in a do
    if e>0 then begin s+=e; Inc(k) end;
  if k>0 then Result:=s/k else Result:=1e-100;
end;

begin
  var A:=MatrixRandom(4,4,-50,50); Writeln(A);
  Writeln('Среднее арифметическое положительных равно ',Avg(A):0:3);
  var B:=MatrixRandom(5,5,-30,30); Writeln(B);
  Writeln('Среднее арифметическое положительных равно ',Avg(B):0:3);
  var C:=MatrixRandom(4,5,-25,38); Writeln(C);
  Writeln('Среднее арифметическое положительных равно ',Avg(C):0:3);
end.

Тестовое решение:
[[35,35,5,-47],[14,34,35,-13],[25,-5,35,-29],[-7,10,-12,12]]
Среднее арифметическое положительных равно 24.000
[[-12,-17,-10,19,14],[20,17,-27,-2,16],[-3,-21,30,2,10],[5,-3,-17,-3,18],[0,-26,29,1,-22]]
Среднее арифметическое положительных равно 15.083
[[-5,-11,17,-4,15],[15,17,-24,36,15],[-8,-3,-22,28,-25],[-21,6,12,31,-1]]
Среднее арифметическое положительных равно 19.200

Program Zadacha;
Const n = 10; m = 10; max = 15;
Var A: Array [1..n, 1..m] Of Integer;
B: Array[1..n] of Integer;
C: Array[1..n] of Real;
min, sum, count, i, j: Integer;
Begin
Randomize;
For i := 1 To n Do
For j := 1 To m Do
A[i, j] := Random(max * 2) - max;
min := max;
For i := 1 To n Do
For j := 1 To m Do
If A[i, j] < min Then
min := A[i, j];
For i := 1 To n Do
For j := 1 To m Do
If A[i, j] = min Then
B[i] := 1;
sum := 0;
count := 0;
For i := 1 To n Do
Begin
For j := 1 To m Do
If (A[i, j] Mod 2 = 0) And (A[i, j] >= 0) Then
Begin
sum := sum + A[i, j];
count := count + 1;
End;
C[i] := sum / count;
sum := 0;count := 0;
End;
WriteLn('Массив A:');
For i := 1 To n Do
Begin
For j := 1 To m Do
Write(A[i, j], ' ');
WriteLn;
End;
WriteLn('Массив B:');
For i := 1 To n DoWrite(B[i], ' ');
WriteLn;
WriteLn('Массив C (среднее арифметиеское положительных четных элементов массива A):');
For i := 1 To n Do
Write(C[i]:5:2, ' ');
ReadLn;
End.