Advertisements
Advertisements
Question
Verify using truth table, DeMorgan's theorem for three variables.
Very Long Answer
Advertisements
Solution
For the sum form, [(A+B+C)'=A'B'C']. The two sides have identical values in every row. The dual product form is [(ABC)'=A'+B'+C'].
| A | B | C | A+B+C | (A+B+C)' | A' | B' | C' | A'B'C' |
|---|---|---|---|---|---|---|---|---|
| 0 | 0 | 0 | 0 | 1 | 1 | 1 | 1 | 1 |
| 0 | 0 | 1 | 1 | 0 | 1 | 1 | 0 | 0 |
| 0 | 1 | 0 | 1 | 0 | 1 | 0 | 1 | 0 |
| 0 | 1 | 1 | 1 | 0 | 1 | 0 | 0 | 0 |
| 1 | 0 | 0 | 1 | 0 | 0 | 1 | 1 | 0 |
| 1 | 0 | 1 | 1 | 0 | 0 | 1 | 0 | 0 |
| 1 | 1 | 0 | 1 | 0 | 0 | 0 | 1 | 0 |
| 1 | 1 | 1 | 1 | 0 | 0 | 0 | 0 | 0 |
Since the columns [(A+B+C)'] and [A'B'C'] are identical, the theorem is verified.
shaalaa.com
Is there an error in this question or solution?
