clear;
clc;

//Caption: To verify given equation

disp('NOTE: We will write A with a bar on its top as   a ');
disp('To verify');
disp(' A + aB = A + B');

disp('We know that   B + 1 = 1  and  A1 = A');
disp('A + aB = A(B+1) + aB = AB + A + aB =');
disp('(A + a)B + A = B + A');
disp('which is equal to RHS')
//end