Computer Science
Show that the given statements are tautologies:
[(p ⇒ q) ^ p] ⇒ q
Boolean Algebra
5 Likes
Answer
| p | q | p⇒q | (p⇒q)^p |
|---|---|---|---|
| 0 | 0 | 1 | 0 |
| 0 | 1 | 1 | 0 |
| 1 | 0 | 0 | 0 |
| 1 | 1 | 1 | 1 |
| (p⇒q)^p | q | [(p⇒q)^p]⇒q |
|---|---|---|
| 0 | 0 | 1 |
| 0 | 1 | 1 |
| 0 | 0 | 1 |
| 1 | 1 | 1 |
Answered By
2 Likes
Related Questions
Differentiate between proposition and wff.
Show that the given statements are tautologies:
[(p ⇒ q) ^ (q ⇒ r)] ⇒ (p ⇒ r)
From premises A ⇒ B and B ⇒ A, conclude B' + A.B.
(i) Let P : He has fax and Q : He uses e-mail.
Write the following statement in terms of P and Q:
He has fax and he may or may not use e-mail.