Computer Science
Show that X v ~ (Y ^ X) is a tautology.
Boolean Algebra
ICSE 2016
18 Likes
Answer
| X | Y | Y^X | ~(Y^X) | Xv~(Y^X) |
|---|---|---|---|---|
| 0 | 0 | 0 | 1 | 1 |
| 0 | 1 | 0 | 1 | 1 |
| 1 | 0 | 0 | 1 | 1 |
| 1 | 1 | 1 | 0 | 1 |
Column X v ~ (Y ^ X) has all entries as 1. Hence, X v ~ (Y ^ X) is a tautology.
Answered By
10 Likes
Related Questions
Define Inverse with a suitable example
The statements are given as:
If p : Jitendra Kumar is a computer teacher.
q : Rahul is a student.Write these statements in symbolic form:
(a) Jitendra Kumar is a computer teacher and Rahul is a student.
(b) Jitendra Kumar is a computer teacher and Rahul is not a student.
(c) Jitendra Kumar is not a computer teacher and Rahul is a student.
(d) Neither Jitendra Kumar is a computer teacher nor Rahul is a student.
(e) Either Jitendra Kumar is a computer teacher or Rahul is a student.
Construct the truth table for p+(~q)
Construct the truth table for (~p)