{A) A v ¬ B v CB) A ^ B ^ CC) A ^ B ^ ¬ CD) ¬A v B v ¬ C }
var A,B,C,f1,f2,f3:boolean;
begin
writeln('A':4, 'B':6, 'C':6,'f1':7,'f2':6,'f3':6);
for A:= false to true do begin
for B:= false to true do begin
for C:= false to true do begin
f1:=A or not(B) or C;
f2:= A and B and C;
f3:= not(A) or B or not(C);
writeln(A:6, B:6, C:6,f1:6,f2:6,f3:6);end;end;end;end.