Доказать (путем перебора возможных значений), что для любых величин A, B, C типа Boolean следующие пары логических выражений имеют одинаковые значения: (A OR B) OR C и A OR  — Pascal(Паскаль)

uses crt;
var a,b,c:boolean;
begin
clrscr;
writeln('Перебор выражения (A OR B) OR C = A OR C');
writeln;
writeln('A':7,'B':7,'C':7,'(A or B) or C':15,'A or C':8);
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 or b)or c):15,(a or c):8);
readln
end.