//chapter-3,Example3_4,pg 487

//Fabc=M7*M6

//Fabc=M7*M6=(a+b+c)(a+b+c')

//Fabc=a+ab+ac'+ab+b+bc'+ac+bc+cc'

//Fabc=(a+b)+(a+b)c'+(a+b)c+ab+ab+cc'

//Fabc=((a+b)+c)((a+b)+c')

//Fabc=(a+b)(a+b)+(a+b)c'+(a+b)c

printf("boolean function in simplified form\n")

printf("a+b")