Computer Science
Using the truth table verify the expression
(~P ⇒ Q) ^ P = (P ^ ~Q) v (P ^ Q)
Boolean Algebra
17 Likes
Answer
| P | Q | ~P | ~Q | ~P⇒Q | (~P⇒Q)^P | P^~Q | P^Q | (P^~Q)v(P^Q) |
|---|---|---|---|---|---|---|---|---|
| 0 | 0 | 1 | 1 | 0 | 0 | 0 | 0 | 0 |
| 0 | 1 | 1 | 0 | 1 | 0 | 0 | 0 | 0 |
| 1 | 0 | 0 | 1 | 1 | 1 | 1 | 0 | 1 |
| 1 | 1 | 0 | 0 | 1 | 1 | 0 | 1 | 1 |
The columns (~P ⇒ Q) ^ P and (P ^ ~Q) v (P ^ Q) have identical values hence the expression is proved.
Answered By
7 Likes