🎓 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,068
Guests online
2,397
Total visitors
3,465

Forum statistics

Threads
2,316,676
Posts
29,187,519
Members
1,182,037
Latest member
makoko
Back
Top