The Gateway to Computer Science Excellence
For all GATE CSE Questions
Toggle navigation
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 2 (Page No. 34)
0
votes
16
views
Show that $\sim(\sim p)$ and p are logically equivalent.
kennethrosen
discretemathematics
mathematicallogic
propositionallogic
asked
Mar 15
in
Mathematical Logic
by
Pooja Khatri
Boss
(
10.7k
points)

16
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.7k
points)

18
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$ is a tautology.
asked
Mar 16
in
Mathematical Logic
by
Pooja Khatri
Boss
(
10.7k
points)

32
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.7k
points)

17
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.7k
points)

16
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.7k
points)

15
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.7k
points)

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

16
views
kennethrosen
discretemathematics
mathematicallogic
propositionallogic
Network Sites
GO Mechanical
GO Electrical
GO Electronics
GO Civil
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
The day that made me an IIScian :)
Unanswered Previous year GATE/TIFR questions
From being a Failure to getting into IISc  (Rank 888, Score 692)
My interview experience at IITs/IISc
IIT Delhi CSE Mtech interview 14 may
All categories
General Aptitude
1.8k
Engineering Mathematics
7.3k
Discrete Mathematics
5.1k
Mathematical Logic
2.1k
Set Theory & Algebra
1.3k
Combinatory
874
Graph Theory
803
Probability
992
Linear Algebra
689
Calculus
488
Digital Logic
2.9k
Programming & DS
4.9k
Algorithms
4.3k
Theory of Computation
6k
Compiler Design
2.1k
Operating System
4.2k
Databases
4.1k
CO & Architecture
3.4k
Computer Networks
4.1k
Non GATE
1.4k
Others
1.4k
Admissions
596
Exam Queries
577
Tier 1 Placement Questions
23
Job Queries
72
Projects
18
Follow @csegate
Recent Blog Comments
a heartiest congratulations mam :)
Congratulations
Thank you
Very Nice. Congratulations ))👍
49,541
questions
54,084
answers
187,213
comments
70,992
users