Login
Register
@
Dark Mode
Profile
Edit my Profile
Messages
My favorites
Register
Activity
Q&A
Questions
Unanswered
Tags
Subjects
Users
Ask
Previous Years
Blogs
New Blog
Exams
Dark Mode
#gatebook
Hradesh patel
asked
in
Mathematical Logic
Feb 1, 2017
154
views
0
votes
0
votes
how to solve i go to left to right or vice -versa??
S1: (P → (Q ∨ R)) ∧ (P → (Q ∨ ¬R)) → P → Q
S2: (P → Q) ∧ ((Q ∧ R) → S) → (P ∧ R) → S
Which of the following statements is tautology?
(A) Only S1
(B) Only S2
(C) both S1 and S2
(D) None of the above
Hradesh patel
asked
in
Mathematical Logic
Feb 1, 2017
by
Hradesh patel
154
views
answer
comment
Follow
share this
share
3 Comments
by
Sushant Gokhale
commented
Feb 1, 2017
reply
Follow
share this
implication doesnt have associativity. So, assume left to right. Cant help.
0
0
by
bad_engineer
commented
Feb 1, 2017
reply
Follow
share this
first one is not tautalogy we can True False case rt??
0
0
by
suyashj
commented
Jan 22, 2018
reply
Follow
share this
first one is tautology for sure i am confused about the S2
0
0
Please
log in
or
register
to add a comment.
Please
log in
or
register
to answer this question.
0
Answers
← Previous
Next →
← Previous in category
Next in category →
Related questions
–1
vote
–1
vote
0
answers
1
rajesh170293
asked
in
Algorithms
Feb 1, 2017
142
views
#GATEBOOK Qno.9
http://thegatebook.in/qa/1363
rajesh170293
asked
in
Algorithms
Feb 1, 2017
by
rajesh170293
142
views
0
votes
0
votes
0
answers
2
Hradesh patel
asked
in
Theory of Computation
Nov 21, 2016
234
views
#Gatebook Qno.26
There is a CFG with only 2 variables, and a single terminal, and 2 only productions (No unit, epsilon, useless products, left recursion,). What would be the max number of productions if that gets converted into GNF (A). 2 (B). <=4 (C). <=8 (D). None
Hradesh patel
asked
in
Theory of Computation
Nov 21, 2016
by
Hradesh patel
234
views
theory-of-computation
test-series
0
votes
0
votes
1
answer
3
Hradesh patel
asked
in
Theory of Computation
Nov 21, 2016
121
views
#Gatebook Qno.25
Here is a CFG with only 2 variables, and a single terminal, and 2 only productions (No unit, epsilon, useless products). What would be the max number of productions if that gets converted into CNF (A). 2 (B). <=4 (C). <=8 (D). None
Hradesh patel
asked
in
Theory of Computation
Nov 21, 2016
by
Hradesh patel
121
views
theory-of-computation
test-series
1
vote
1
vote
0
answers
4
Hradesh patel
asked
in
Theory of Computation
Nov 21, 2016
143
views
#Gatebook qno.-23
Let M be a single-tape deterministic TM with tape alphabet { blank, 0, 1 }, and let C denote the ( possibly infinite ) computation of M starting with a blank tape. The input to each problem is M, together with a positive integer n. Which of the following problems is(are) ... tape cells during the company C (A). III only (B). I and II only (C).I and III only (D).I,II and III
Hradesh patel
asked
in
Theory of Computation
Nov 21, 2016
by
Hradesh patel
143
views
theory-of-computation
test-series
Subscribe to GATE CSE 2023 Test Series
Subscribe to GO Classes for GATE CSE 2023
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
From GATE to Australia
DRDO Previous Year Papers
From Rank 4200 to 64: My Journey to Success in GATE CSE Exam
What are the key things to focus on during the final 10-15 days before the GATE exam to improve performance?
All India GO Classes Mock test
Subjects
All categories
General Aptitude
(2.5k)
Engineering Mathematics
(9.3k)
Discrete Mathematics
(6.5k)
Mathematical Logic
(2.2k)
Set Theory & Algebra
(1.7k)
Combinatory
(1.5k)
Graph Theory
(993)
Probability
(1.2k)
Linear Algebra
(888)
Calculus
(714)
Digital Logic
(3.3k)
Programming and DS
(5.9k)
Algorithms
(4.6k)
Theory of Computation
(6.7k)
Compiler Design
(2.3k)
Operating System
(5.0k)
Databases
(4.6k)
CO and Architecture
(3.8k)
Computer Networks
(4.6k)
Non GATE
(1.3k)
Others
(2.4k)
Admissions
(649)
Exam Queries
(842)
Tier 1 Placement Questions
(17)
Job Queries
(74)
Projects
(9)
Unknown Category
(853)
Recent Blog Comments
Inspirational! Found the right Blog at the right...
That was my second attempt. I already had notes,...
Sorry to break the news, but: I see a few flaws...
bhai mujhe bhi bula lo australia......mai bhi...
I see no inspiration here. Not everyone is...
Twitter
WhatsApp
Facebook
Reddit
LinkedIn
Email
Link Copied!
Copy