The Gateway to Computer Science Excellence
For all GATE CSE Questions
Toggle navigation
GATE Overflow
Facebook Login
or
Email or Username
Password
Remember
Login
Register

I forgot my password
Activity
Questions
Unanswered
Tags
Subjects
Users
Ask
Prev
Blogs
New Blog
Exams
First time here? Checkout the
FAQ
!
x
×
Close
Use the google search bar on side panel. It searches through all previous GATE/other questions. For hardcopy of previous year questions please see
here
Kenneth Rosen Edition 7th Exercise 1.3 Question 3 (Page No. 34)
0
votes
15
views
Use truth tables to verify the commutative laws
$p \vee q \equiv q \vee p $
$p \wedge q \equiv q \wedge p $
kennethrosen
discretemathematics
mathematicallogic
propositionallogic
asked
Mar 15
in
Mathematical Logic
by
Pooja Khatri
Boss
(
10.5k
points)

15
views
answer
comment
Your identity must be verified before you can post a comment. Please wait if already uploaded identity proof or upload your proof
here
Please
log in
or
register
to answer this question.
← Prev. Qn. in Sub.
Next Qn. in Sub. →
← Prev.
Next →
Related questions
0
votes
2
answers
1
Kenneth Rosen Edition 7th Exercise 1.3 Question 34 (Page No. 35)
Find the dual of each of these compound propositions. $p \vee \sim q$ $p \wedge(q \vee (r \wedge T))$ $(p \wedge \sim q) \vee( q \wedge F)$
asked
Mar 16
in
Mathematical Logic
by
Pooja Khatri
Boss
(
10.5k
points)

17
views
kennethrosen
discretemathematics
propositionallogic
mathematicallogic
0
votes
2
answers
2
Kenneth Rosen Edition 7th Exercise 1.3 Question 15 (Page No. 34)
Determine whether $(\sim q \wedge (p \rightarrow q)) \rightarrow \sim p$
asked
Mar 16
in
Mathematical Logic
by
Pooja Khatri
Boss
(
10.5k
points)

20
views
kennethrosen
discretemathematics
mathematicallogic
propositionallogic
0
votes
0
answers
3
Kenneth Rosen Edition 7th Exercise 1.3 Question 7 (Page No. 34)
Use De Morgan’s laws to find negation of each of the following statements. Jan is rich and happy. Carlos will bicycle or run tomorrow. Mei walks or takes the bus to class. Ibrahim is smart and hard working.
asked
Mar 15
in
Mathematical Logic
by
Pooja Khatri
Boss
(
10.5k
points)

14
views
kennethrosen
discretemathematics
mathematicallogic
propositionallogic
0
votes
0
answers
4
Kenneth Rosen Edition 7th Exercise 1.3 Question 6 (Page No. 34)
Use a truth table to verify the first De Morgan law $\sim(p \wedge q)$ $\equiv$ $\sim p \vee \sim q$
asked
Mar 15
in
Mathematical Logic
by
Pooja Khatri
Boss
(
10.5k
points)

13
views
kennethrosen
discretemathematics
propositionallogic
mathematicallogic
0
votes
0
answers
5
Kenneth Rosen Edition 7th Exercise 1.3 Question 5 (Page No. 34)
Use a truth table to verify the distributive law $p \wedge (q \vee r ) \equiv (p \wedge q ) \vee (p \wedge r).$
asked
Mar 15
in
Mathematical Logic
by
Pooja Khatri
Boss
(
10.5k
points)

14
views
kennethrosen
discretemathematics
mathematicallogic
propositionallogic
0
votes
0
answers
6
Kenneth Rosen Edition 7th Exercise 1.3 Question 4 (Page No. 34)
Use truth tables to verify the associative laws. $(p \vee q) \vee r \equiv p \vee (q \vee r).$ $(p \wedge q) \wedge \equiv p \wedge(q \wedge r).$
asked
Mar 15
in
Mathematical Logic
by
Pooja Khatri
Boss
(
10.5k
points)

8
views
kennethrosen
discretemathematics
mathematicallogic
propositionallogic
0
votes
0
answers
7
Kenneth Rosen Edition 7th Exercise 1.3 Question 2 (Page No. 34)
Show that $\sim(\sim p)$ and p are logically equivalent.
asked
Mar 15
in
Mathematical Logic
by
Pooja Khatri
Boss
(
10.5k
points)

13
views
kennethrosen
discretemathematics
mathematicallogic
propositionallogic
Quick search syntax
tags
tag:apple
author
user:martin
title
title:apple
content
content:apple
exclude
tag:apple
force match
+apple
views
views:100
score
score:10
answers
answers:2
is accepted
isaccepted:true
is closed
isclosed:true
Recent Posts
GATE score validity queries.
How to prepare for IISC Interdisciplinary Mathematical Sciences Interview
GO Hardcopy for GATE 2020
How to prepare for BARC interview
IIIT H
All categories
General Aptitude
1.6k
Engineering Mathematics
7.5k
Discrete Mathematics
5.2k
Mathematical Logic
2.1k
Set Theory & Algebra
1.4k
Combinatory
883
Graph Theory
821
Probability
1k
Linear Algebra
694
Calculus
504
Digital Logic
3k
Programming & DS
4.9k
Algorithms
4.3k
Theory of Computation
6k
Compiler Design
2.1k
Operating System
4.2k
Databases
4.2k
CO & Architecture
3.5k
Computer Networks
4.2k
Non GATE
1.4k
Others
1.5k
Admissions
588
Exam Queries
568
Tier 1 Placement Questions
23
Job Queries
72
Projects
18
Follow @csegate
Recent Blog Comments
THey removed it this year... I did not check it,...
even though i am not going for iiit , can you...
I don't think IIITD requires any codechef...
Will apply for IIITB. IIIT D requires a codechef...
Go for it. Nobody cares once you join a good IIT...
50,083
questions
53,206
answers
184,553
comments
70,426
users