Computer Science

Show that X v ~ (Y ^ X) is a tautology.

Boolean Algebra

ICSE

13 Likes

Answer

XYY^X~(Y^X)Xv~(Y^X)
00011
01011
10011
11101

Column X v ~ (Y ^ X) has all entries as 1. Hence, X v ~ (Y ^ X) is a tautology.

Answered By

7 Likes


Related Questions