Computer Science
Show that X v ~ (Y ^ X) is a tautology.
Boolean Algebra
ICSE
13 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
7 Likes
Related Questions
Construct the truth table for (~p)
Construct the truth table for p+(~q)
Construct the truth table for ~(p.q)
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.