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
48
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

48
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
(
17.5k
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)

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

96
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
(
99.8k
points)

286
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
Donation (Kerala Flood)
Schedule for GATE 2019
GATE 2019 official website
Correct way of preparation
Right process to start solving MCQs in Comp.Sc.
All categories
General Aptitude
1.3k
Engineering Mathematics
5.5k
Discrete Mathematics
3.8k
Mathematical Logic
1.6k
Set Theory & Algebra
964
Combinatory
670
Graph Theory
624
Probability
672
Linear Algebra
542
Calculus
393
Digital Logic
2.1k
Programming & DS
4k
Algorithms
3.4k
Theory of Computation
4.2k
Compiler Design
1.6k
Operating System
3k
Databases
3.1k
CO & Architecture
2.7k
Computer Networks
3.1k
Non GATE
1.1k
Others
1.4k
Admissions
501
Exam Queries
450
Tier 1 Placement Questions
19
Job Queries
62
Projects
12
Follow @csegate
Gatecse
Recent Blog Comments
Sir I have ordered GO PDF on 16 Aug 2018 still ...
gate overflow books are awesome; every one should ...
Books are there but don't think any will leave ...
Sir i have placed the order Details are PAYMENT ...
Sir i am placing order for gate overflew book ...
38,114
questions
45,621
answers
132,326
comments
49,303
users