Постройте таблицу истиности в паскале : (a*b)→(⌐a*c)

Значения в таблице принимают значения истина(True) и ложь(False).

//Pascal
var A, B, C: boolean;
begin
write('    A      B      C   ');
writeln('   A&B    ⌐A    ⌐A&C     F');
for A := false to true do
  for B := false to true do
    for C := false to true do
      writeln(a:7, b:7, c:7,(A and B):7, not(A):7,
      (not(A)and C):7,(not(A and B)or(not(A) and C)):7);
end.