Hi Would anybody be able to check to see if my workings are right for this question?

Thanks

 

It appears that the final column is wrong in the first table. You need to state your conclusion based on the truth tables.

 

It appears that the final column is wrong in the first table. You need to state your conclusion based on the truth tables.

Hi Papa

Should the last column from each table have the same values to prove they are equivalent?

 

The expression in the final column of the first table is not the same as the left hand expression in the question - you are missing some 'not's.

 

Hi Papa

Should the last column from each table have the same values to prove they are equivalent?

Yes, the columns on the right hand side of both tables should be the same. If they are the same, then you should also be able to prove algebraically that the expressions are the same.

 

You have actually made several mistakes.

First, your first truth table is for an expression different from the left hand side of what you are trying to prove, so therefore it is not convincing.

Second, you have tried to apply DeMorgan's to get from the original left hand side to what you have in the first truth table and you made two mistakes. First, you kept the operation between terms as an OR instead of changing it to an AND. Second, you made the common mistake of replacing (B·C')' with (B'·C). Doesn't work that way. Although both of your mistakes are consistent, leading me to question whether you understand DeMorgan's Theorems at all. Go back and review them.

 

Just a few applications of DeMorgan's Theorem would show the equivalence via Boolean algebra: