//Example 2.23: Reduce expression using Boolean laws 
clc // Clears the console
disp('A''BCD + A''BC''D + B''EF + CDE''G + A''DEF + A''B''EF')
disp('= A''BD + B''EF + CDE''G + A''DEF')
disp('But A''BD $ B''EF = A''DEF and this reduces to ')
disp('= A''BD + B''EF + CDE''G')
//the reduced expression is displayed.