//Example 2.20: Reduce expression using Boolean laws ( Consensus Theorem)
clc // Clears the console
disp('f = a''b''c'' + a''bc'' + a''bc + ab''c''')
disp('f1 = a''c'' + a''b + b''c''')
disp('f2 = b''c'' + a''b reduced using consensus theorem') //term a'c' is removed as it is the consensus of other two terms.
//the reduced expression is displayed.