Определить, какому столбцу таблицы истинности соответствует каждая из переменных

program name;
var
x, y, z, w: integer;
for x:=0 to 1 do
for y:=0 to 1 do
for z:=0 to 1 do
for w:=0 to 1 do 
if (формула)[LATEX]((x and \bar{y})V(y\leftrightarrow z)Vw)=1[/LATEX] then
writeln (w,'',x,'',y,'',z);
end.

begin

//pascal-compiler
program ex;
var
x, y, z, w: integer;
begin
for x:=0 to 1 do
for y:=0 to 1 do
for z:=0 to 1 do
for w:=0 to 1 do 
if (x and (not(y)) or (y = z) or w) = 0 then
 writeln (x, '', y, '', z, '', w);
end.

if (...)=0

=0

program name;
var
x, y, z, w: integer;
begin
for x:=0 to 1 do
for y:=0 to 1 do
for z:=0 to 1 do
for w:=0 to 1 do 
if ((x and not(y)) or (y = z)or (w = 0) then
writeln (w,'',x,'',y,'',z);
end.

program name;
var
x, y, z, w: integer;
begin
for x:=0 to 1 do
for y:=0 to 1 do
for z:=0 to 1 do
for w:=0 to 1 do 
if (((x and not(y)) or (y = z) or w) = 0 then
writeln (w,'',x,'',y,'',z);
end.

boolean or integer

program name;
var
x, w,y, z: integer;
begin
for x:=0 to 1 do
for y:=0 to 1 do
for z:=0 to 1 do
for w:=0 to 1 do
if (((x and not(y)) or ((y and z) or (not(y))) and (not(z))or w)) = 0 then
writeln (w,'',x,'',y,'',z);
end.