P∧Q⇒¯Q⇒P упростить формулу равносильным преобразованием

1. Вот так это пишется с функцией

// PascalABC.NET 3.1, сборка 1200 от 13.03.2016
function IsPrime(n:integer):boolean;
begin
  if n<4 then Result:=True
  else begin
    var found:= (n mod 2 = 0);
    var p:=3;
    while (not found) and (sqr(p)<=n) do
      begin
      found:=(n mod p = 0);
      p+=2
      end;
    Result:=not found
    end
end;

begin
  Writeln('k=',ArrRandom(ReadInteger('n='),1,999).Println.
    Where(x->IsPrime(x)).Count)
end.

Тестовое решение:
n= 10
401 828 780 444 694 965 23 341 673 875
k=3

2. А вот так это пишется с процедурой

// PascalABC.NET 3.1, сборка 1200 от 13.03.2016
procedure IsPrime(n:integer; var res:boolean);
begin
  if n<4 then res:=True
  else begin
    var found:= (n mod 2 = 0);
    var p:=3;
    while (not found) and (sqr(p)<=n) do
      begin
      found:=(n mod p = 0);
      p+=2
      end;
    res:=not found
    end
end;

begin
  var a:=ArrRandom(ReadInteger('n='),1,999); a.Println;
  var k:=0;
  var prime:boolean;
  foreach var e in a do begin
    IsPrime(e,prime);
    if Prime then Inc(k)
    end;
  Writeln('k=',k)
end.

Тестовое решение:
n= 12
199 43 71 365 417 904 170 212 694 103 161 689
k=4

1) 0*2^0+ 1*2^1=0+ 2=2
10 в двоичной=2 в десятичной
1*2^0+ 0*2^1+0*2^3+1*2^4= 1+0+0+16=17
1001 в двоичной=17 в десятичной
1*2^0+0*2^1+1*2^2= 1+0+4=5
101 в двоичной=5 в десятичной
2) а) 11011
1*2^0+1*2^1+ 0*2^2+1*2^3+1*2^4= 1+2+0+8+16= 26
11011 в двоичной=26 в десятичной
1100
0*2^0+0*2^1+1*2^2+1*2^3= 0+0+4+8=12
1100 в двоичной=12 в десятичной
10011
1*2^0+1*2^1+0*2^2+0*2^3+1*2^4= 1+2+0+0+16=19
10011 в десятичной=19 в двоичной
110101
1*2^0+ 0*2^1+1*2^2+0*2^3+1*2^4+1*2^5=1+0+4+0+16=21
110101 в двоичной = 21 в десятичной
б) 7512
2*8^0+1*8^1+5*8^2+7*8^3=2+8+320+3584=3914
7512 в восмеричной=3914 в десятичной
5327
7*8^0+2*8^1+3*8^2+5*8^3= 7+16+192+2560= 2775
5327 в восьмеричной=2775 в десятичной
в) 8E5
5*16^0+14*16^1+ 8*16^2= 5+224+2048= 2277
8E5 в шестнадцатеричной= 2277 в десятичной
ABC
12*16^0+11*16^1+10*16^2= 12+176+2560+2748
ABC в шестнадцатеричной=2748 в десятичной