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

I forgot my password
All Activity
Questions
Unanswered
Tags
Subjects
Users
Ask
Previous
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
Kennth Rosen,ch:1,Ex:1.3,Qn:51
+1
vote
38
views
Find a compound proposition logically equivalent to $p \rightarrow q$ using only the logical operator $\downarrow$?
kennethrosen
settheory&algebra
propositionallogic
mathematicallogic
descriptive
asked
Jun 5
in
Mathematical Logic
by
siva140191
(
63
points)
edited
Jun 6
by
Subarna Das

38
views
Facebook
Google+
Twitter
answer
comment
Please
log in
or
register
to add a comment.
Please
log in
or
register
to answer this question.
1
Answer
+2
votes
Best answer
We know : $P \rightarrow Q $ $\equiv $ $P'+ Q \equiv \overline{P \overline{Q}} $
And $P ↓ Q \equiv \overline{P} \,\,\overline{Q}$
So, $\overline{P} ↓ Q \equiv P \overline{Q}$
$P \rightarrow Q $ $\equiv$ $((P↓P) ↓ Q ) ↓ ((P↓P) ↓ Q) $
answered
Jun 5
by
Deepakk Poonia (Dee)
Boss
(
13.2k
points)
selected
Jun 5
by
srestha
comment
Please
log in
or
register
to add a comment.
← Prev. Qn. in Sub.
Next Qn. in Sub. →
← Prev.
Next →
Related questions
0
votes
0
answers
1
Kennth Rosen Ch:1,Ex:1.2, Qn:38.
Solve this famous logic puzzle, attributed to Albert Einstein, and known as the zebra puzzle.Five men with different nationalities and with different jobs live in consecutive houses on a street. These houses are painted different colors. The men ... , their pets, and their favorite drinks and use logical reasoning to determine the correct entries in the table.]?
asked
Jun 3
in
Mathematical Logic
by
siva140191
(
63
points)

50
views
kennethrosen
mathematicallogic
settheory&algebra
propositionallogic
descriptive
+1
vote
1
answer
2
Kenneth Rosen Ch:1,Ex:1.5 Qn:52.
Express the quantification $∃!xP (x)$,using universal quantifications, existential quantifications, and logical operators.?
asked
Jun 4
in
Mathematical Logic
by
siva140191
(
63
points)

69
views
discretemathematics
engineeringmathematics
kennethrosen
settheory&algebra
propositionallogic
+2
votes
1
answer
3
Kenneth Rosen Edition7 Ch1 Ex1.2 QueNo3
asked
Apr 16, 2016
in
Set Theory & Algebra
by
jothee
Veteran
(
98.5k
points)

268
views
kennethrosen
descriptive
settheory&algebra
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
A Failure who got into IISc
ISRO written test results are out!!
UGC NET 2018 Admit Card available for Download
IIIT Hyderabad Interview Experience
The GATE journey
All categories
General Aptitude
1.3k
Engineering Mathematics
5.2k
Discrete Mathematics
3.6k
Mathematical Logic
1.4k
Set Theory & Algebra
922
Combinatory
639
Graph Theory
602
Probability
651
Linear Algebra
527
Calculus
387
Digital Logic
2k
Programming & DS
3.7k
Algorithms
3.2k
Theory of Computation
4k
Compiler Design
1.6k
Operating System
2.8k
Databases
3k
CO & Architecture
2.6k
Computer Networks
3k
Non GATE
1k
Others
1.3k
Admissions
486
Exam Queries
435
Tier 1 Placement Questions
18
Job Queries
56
Projects
9
Follow @csegate
Gatecse
Recent Blog Comments
all the best bro :)
I actually have seen you growing not from where ...
Inspirational Bro ... Congrats.... Aao haweli ...
marvellous improvement @Deepak. Congrats IISCan :)
Congratulations and thanks for sharing your ...
36,157
questions
43,608
answers
123,961
comments
42,860
users