๐ŸŽ“ Course Coursehero

Status
Not open for further replies.
Question
Subject: Discrete Structures

1.Show, by the use of the truth table/matrix, that the statement (p โˆจ q) โˆจ [(ยฌp)โˆง (ยฌq)] is a tautology.

2.Show that p โ†” q and (p โˆง q) โˆจ (ยฌp โˆง ยฌq) are logically equivalent
 
We can see that
In the table 1 :- all entries in the last column are True
Hence,
(p โˆจ q) โˆจ [(ยฌp)โˆง (ยฌq)] is a Tautology

In table 2 :- The last two columns of table are identical that is same
Hence,
p โ†” q and (p โˆง q) โˆจ (ยฌp โˆง ยฌq) are logically equivalent
 
Status
Not open for further replies.

About this Thread

  • 72
    Replies
  • 1K
    Views
  • 25
    Participants
Last reply from:
PHC-Near

Online now

Members online
1,150
Guests online
1,958
Total visitors
3,108

Forum statistics

Threads
2,290,871
Posts
29,067,202
Members
1,211,555
Latest member
James45FR
Back
Top