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.
GATE200540
+14
votes
973
views
Let P, Q and R be three atomic propositional assertions. Let X denote ( P ∨ Q ) → R and Y denote (P → R) ∨ (Q → R). Which one of the following is a tautology?
(A) X ≡ Y
(B) X → Y
(C) Y → X
(D) ¬Y → X
gate2005
mathematicallogic
propositionallogic
normal
asked
Sep 21, 2014
in
Mathematical Logic
by
gatecse
Boss
(
18k
points)
edited
Jan 4
by
Puja Mishra

973
views
Facebook
Google+
Twitter
answer
comment
Please
log in
or
register
to add a comment.
Please
log in
or
register
to answer this question.
2
Answers
+21
votes
Best answer
X = (P ⋁ Q) → R
= ~(P ⋁ Q) ⋁ R
= (~P ⋀ ~Q) ⋁ R
= (~P ⋁ R) ⋀ (~Q ⋁ R)
= (P → R) ⋀ (Q → R)
So, X → Y is true as (A ⋀ B) → (A ⋁ B) is always TRUE but reverse implication is not always true.
Hence, B.
answered
Jan 8, 2015
by
Arjun
Veteran
(
342k
points)
selected
May 3, 2015
by
Arjun
comment
0
Good Explanations sir
+2
When in confusion, better to use truth table, surely to give correct answer
Please
log in
or
register
to add a comment.
–1
vote
(PVQ)>R means (PVR)>(QVR)
equivalent( A )
answered
Dec 24, 2014
by
Manali Sikdar
Active
(
2.7k
points)
comment
0
X > Y?
+1
sorry X>Y will be the answer
0
they are coming equivalent ?
Please
log in
or
register
to add a comment.
← Prev. Qn. in Sub.
Next Qn. in Sub. →
← Prev.
Next →
Answer:
B
Related questions
+16
votes
2
answers
1
GATE200541
What is the first order predicate calculus statement equivalent to the following? "Every teacher is liked by some student" $∀(x)\left[\text{teacher}\left(x\right) → ∃(y) \left[\text{student}\left(y\right) → \text{likes}\left(y,x\right)\right]\right]$ $∀(x)\left ... {teacher}\left(x\right) ∧ ∃(y) \left[\text{student}\left(y\right) → \text{likes}\left(y,x\right)\right]\right]$
asked
Sep 21, 2014
in
Mathematical Logic
by
gatecse
Boss
(
18k
points)

1.6k
views
gate2005
mathematicallogic
easy
firstorderlogic
+6
votes
3
answers
2
GATE19893v
Answer the following: Which of the following wellformed formulas are equivalent? $P \rightarrow Q$ $\neg Q \rightarrow \neg P$ $\neg P \vee Q$ $\neg Q \rightarrow P$
asked
Nov 27, 2016
in
Mathematical Logic
by
makhdoom ghaya
Boss
(
39.9k
points)

344
views
gate1989
normal
mathematicallogic
propositionallogic
+11
votes
3
answers
3
GATE19903x
Choose the correct alternatives (More than one may be correct). Indicate which of the following wellformed formulae are valid: $\left(P\Rightarrow Q\right) {\wedge} \left(Q \Rightarrow R\right) \Rightarrow \left(P \Rightarrow R\right)$ $\left(P\Rightarrow Q\right) ... \Rightarrow R\right) \vee \left(Q \Rightarrow R\right) \Rightarrow \left(\left(P \vee Q \right) \Rightarrow R\right)$
asked
Nov 22, 2016
in
Mathematical Logic
by
makhdoom ghaya
Boss
(
39.9k
points)

864
views
gate1990
normal
mathematicallogic
propositionallogic
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
Regarding acceptance fee of CCMT round1
ISRO Revised Answer Key Available Now.
Selected for M.Tech Computer Science in University of Hyderabad
Gate 2019 suggestion
IIIT Hyderabad interview Experience  2017
All categories
General Aptitude
1.3k
Engineering Mathematics
5.1k
Discrete Mathematics
3.5k
Mathematical Logic
1.4k
Set Theory & Algebra
909
Combinatory
622
Graph Theory
583
Probability
644
Linear Algebra
513
Calculus
381
Digital Logic
2k
Programming & DS
3.7k
Algorithms
3.1k
Theory of Computation
3.9k
Compiler Design
1.5k
Operating System
2.8k
Databases
2.9k
CO & Architecture
2.5k
Computer Networks
2.9k
Non GATE
1k
Others
1.3k
Admissions
449
Exam Queries
428
Tier 1 Placement Questions
17
Job Queries
55
Projects
8
Follow @csegate
Gatecse
Recent Blog Comments
@ajaysoni1924 GO soft copy will be release in ...
can anyone upload question paper or its link
I respect everyone's opinion here :) I was in ...
@lucky You will receive payment confirmation ...
35,499
questions
42,765
answers
121,499
comments
42,150
users