Задача логического характера F(x, y, z) и G(x, y, z)

const
  n = 8;
 
type
  bool_table = array [1..n] of boolean;
 
var
  r: bool_table;
  x, y, z: boolean;
  k, i: integer;
 
function f(x, y, z: boolean): bool_table;
var
  i: integer;
  q: bool_table;
begin
  i := 1;
  for x := false to true do
    for y := false to true do
      for z := false to true do
      begin
        q[i] := x xor y and z;
        inc(i);
      end;
  f := q;
end;
 
function g(x, y, z: boolean): bool_table;
var
  i: integer;
  q: bool_table;
begin
  i := 1;
  for x := false to true do
    for y := false to true do
      for z := false to true do
      begin
        q[i] := x or y or z;
        inc(i);
      end;
  g := q;
end;
 
function implication(a, b: boolean): boolean;
begin
  implication := (not a) or b;
end;
 
procedure print(x, y, z: boolean; q: bool_table);
var
  i: integer;
begin
  i := 1;
  for x := false to true do
    for y := false to true do
      for z := false to true do
      begin
        writeln(ord(x):2, ord(y):2, ord(z):2, ord(q[i]):2);
        inc(i);
      end;
end;
 
begin
  r := f(x, y, z);
  writeln('F(x,y,z)');
  print(x, y, z, r);
  r := g(z, y, x);
  writeln('G(z,y,x)');
  print(z, y, x, r);
  for i := 1 to n do
  begin
    r := f(r[i], not y, implication(y, z));
    if ord(r[i]) = 1 then
      inc(k);
  end;
  writeln('H(x,y,z)');
  print(x, y, z, r);
  writeln('Единиц: ', k)
end.