//exmaple 5.1(c)//
//simplification of an equation//
clc
//clears the screen//
clear
//clears already existing variables//
disp('given=> Y=(A+BC)(B+C''A)')
//given in the question//
disp('on multiplication we get')
disp('Y=AB+AC''+BC')
disp('on further simplification we get')
disp('BC+AC''')
//answer after simplification//
//as per theorem 1.19 given in the question//