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
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
Kennth Rosen,ch:1,Ex:1.3,Qn:51
+1
vote
55
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

55
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
(
20.7k
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)

84
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)

110
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
(
112k
points)

315
views
kennethrosen
descriptive
settheory&algebra
0
votes
1
answer
4
Kenneth Rosen Edition7 Ch1 Ex1 QueNo50
asked
Apr 16, 2016
in
Mathematical Logic
by
jothee
Veteran
(
112k
points)

402
views
mathematicallogic
kennethrosen
descriptive
+1
vote
1
answer
5
Kenneth Rosen Edition7 Ch1 Ex1 QueNo49
asked
Apr 16, 2016
in
Mathematical Logic
by
jothee
Veteran
(
112k
points)

196
views
kennethrosen
mathematicallogic
descriptive
difficult
0
votes
1
answer
6
Kenneth Rosen Edition7 Ch1 Ex1 QueNo48
asked
Apr 16, 2016
in
Mathematical Logic
by
jothee
Veteran
(
112k
points)

147
views
mathematicallogic
kennethrosen
descriptive
difficult
0
votes
1
answer
7
Kenneth Rosen Edition7 Ch1 Ex1 QueNo47
asked
Apr 16, 2016
in
Mathematical Logic
by
jothee
Veteran
(
112k
points)

418
views
mathematicallogic
kennethrosen
descriptive
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
IIT HYDERABAD M.Tech (RA) 3Years Winter Session Interview experience
INDIAN AIR FORCE
GATE BOOK _ TEST SERIES DOUBT_
Visualizing complex C code
GATE Book Test Series
All categories
General Aptitude
1.4k
Engineering Mathematics
6.5k
Discrete Mathematics
4.5k
Mathematical Logic
1.8k
Set Theory & Algebra
1.2k
Combinatory
822
Graph Theory
735
Probability
913
Linear Algebra
629
Calculus
448
Digital Logic
2.5k
Programming & DS
4.6k
Algorithms
4k
Theory of Computation
5k
Compiler Design
1.9k
Operating System
3.7k
Databases
3.7k
CO & Architecture
3.2k
Computer Networks
3.7k
Non GATE
1.2k
Others
1.3k
Admissions
512
Exam Queries
504
Tier 1 Placement Questions
23
Job Queries
66
Projects
18
Follow @csegate
Gatecse
Recent Blog Comments
Please elucidate this really important...
when will be the grand/full test added??
There is one more problem. Ppl who have...
44,279
questions
49,767
answers
164,265
comments
65,853
users