Hi,you need to step back and acknowledge Peter's comment about the truth table before you go any further.There is either an error in the second line of your question where D=, the *A*BC term is not present in the truth table, so either that term should not be there, or the truth table is in error. It is implied from the simplified expression after the truth table that the *A*BC should not be there, but if an error has been made, then you cannot assume that the truth table and the subsequent expression after it are correct.If the truth table is correct, then you need to change the initial equation, and all you need to do to verify your logic is correct is to work your way through the truth table, setting each of the inputs A,B and C from each line of the truth table, and see what you get at the output, it should correspond to the truth table. Do all of that and then get back to the forum if you are still having a problem,all the best,Richard