//EX2_1:Simplify Z = A'BC + A'

//clears the screen
clc

//clears already existing variables
clear

disp('Z = A'' + A''BC')
//This expression has the same form as absorption theorem
disp('let X = A''  and Y = BC.')
disp('Z = X + XY = X = A''.')