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
Lists
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
52
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

52
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
(
18.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)

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

100
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
(
103k
points)

293
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
List of Available Exams
New Assignment on Network programming : P2P simulation
Theory of Computation  GO Classroom
Probability  GO Classroom
Daily Quiz
All categories
General Aptitude
1.4k
Engineering Mathematics
5.9k
Discrete Mathematics
4.1k
Mathematical Logic
1.6k
Set Theory & Algebra
1k
Combinatory
732
Graph Theory
667
Probability
841
Linear Algebra
563
Calculus
413
Digital Logic
2.3k
Programming & DS
4.2k
Algorithms
3.7k
Theory of Computation
4.6k
Compiler Design
1.7k
Operating System
3.4k
Databases
3.4k
CO & Architecture
2.9k
Computer Networks
3.3k
Non GATE
1.2k
Others
1.3k
Admissions
506
Exam Queries
482
Tier 1 Placement Questions
22
Job Queries
64
Projects
15
Follow @csegate
Gatecse
Recent Blog Comments
You may contact FedEx local delivery office. It...
Yes you are right, it's showing this status from...
FedEx delivery is shown and as per that it is out...
that's my order ID: 40482491812380354
I have no control over Amazon fulfilled orders....
40,857
questions
47,523
answers
145,903
comments
62,280
users