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

uses crt;
var a,b:boolean;
begin
clrscr;
writeln('Перебор выражения A AND (A OR B) = A');
writeln;
writeln('A':7,'B':7,'A and(A or B)':14,'A':7);
for a:=false to true do
for b:=false to true do
writeln(a:7,b:7,A and(a or b):14,a:8);
readln
end.