Computer Science Engineering (CSE) Exam  >  Computer Science Engineering (CSE) Questions  >  Consider the following propositional statemen... Start Learning for Free
Consider the following propositional statements:
P1 : ((A ∧ B) → C)) ≡ ((A → C) ∧ (B → C))
P2 : ((A ∨ B) → C)) ≡ ((A → C) ∨ (B → C))
which one of the following is true?
  • a)
    P1 is a tautology, but not P2
  • b)
    P2 is a tautology, but not P1
  • c)
    P1 and P2 are both tautologies
  • d)
    Both P1 and P2 are not tautologies
Correct answer is option 'D'. Can you explain this answer?
Verified Answer
Consider the following propositional statements:P1 : ((A ∧ B) &rar...
The easiest way to solve this question by creating truth tables for the expressions given. Note that P1 will be a tautology if truth table for left expression is exactly same as truth table for right expression. Same holds for P2 also.
So as we see from table, none of the P1 or P2 are tautologies, so option (D) is correct. 
View all questions of this test
Most Upvoted Answer
Consider the following propositional statements:P1 : ((A ∧ B) &rar...
The statement P1 is not complete. It appears to be cut off after the opening parenthesis. Please provide the complete statement.
Explore Courses for Computer Science Engineering (CSE) exam

Top Courses for Computer Science Engineering (CSE)

Consider the following propositional statements:P1 : ((A ∧ B) → C)) ≡ ((A → C) ∧ (B → C))P2 : ((A ∨ B) → C)) ≡ ((A → C) ∨ (B → C))which one of the following is true?a)P1 is a tautology, but not P2b)P2 is a tautology, but not P1c)P1 and P2 are both tautologiesd)Both P1 and P2 are not tautologiesCorrect answer is option 'D'. Can you explain this answer?
Question Description
Consider the following propositional statements:P1 : ((A ∧ B) → C)) ≡ ((A → C) ∧ (B → C))P2 : ((A ∨ B) → C)) ≡ ((A → C) ∨ (B → C))which one of the following is true?a)P1 is a tautology, but not P2b)P2 is a tautology, but not P1c)P1 and P2 are both tautologiesd)Both P1 and P2 are not tautologiesCorrect answer is option 'D'. Can you explain this answer? for Computer Science Engineering (CSE) 2024 is part of Computer Science Engineering (CSE) preparation. The Question and answers have been prepared according to the Computer Science Engineering (CSE) exam syllabus. Information about Consider the following propositional statements:P1 : ((A ∧ B) → C)) ≡ ((A → C) ∧ (B → C))P2 : ((A ∨ B) → C)) ≡ ((A → C) ∨ (B → C))which one of the following is true?a)P1 is a tautology, but not P2b)P2 is a tautology, but not P1c)P1 and P2 are both tautologiesd)Both P1 and P2 are not tautologiesCorrect answer is option 'D'. Can you explain this answer? covers all topics & solutions for Computer Science Engineering (CSE) 2024 Exam. Find important definitions, questions, meanings, examples, exercises and tests below for Consider the following propositional statements:P1 : ((A ∧ B) → C)) ≡ ((A → C) ∧ (B → C))P2 : ((A ∨ B) → C)) ≡ ((A → C) ∨ (B → C))which one of the following is true?a)P1 is a tautology, but not P2b)P2 is a tautology, but not P1c)P1 and P2 are both tautologiesd)Both P1 and P2 are not tautologiesCorrect answer is option 'D'. Can you explain this answer?.
Solutions for Consider the following propositional statements:P1 : ((A ∧ B) → C)) ≡ ((A → C) ∧ (B → C))P2 : ((A ∨ B) → C)) ≡ ((A → C) ∨ (B → C))which one of the following is true?a)P1 is a tautology, but not P2b)P2 is a tautology, but not P1c)P1 and P2 are both tautologiesd)Both P1 and P2 are not tautologiesCorrect answer is option 'D'. Can you explain this answer? in English & in Hindi are available as part of our courses for Computer Science Engineering (CSE). Download more important topics, notes, lectures and mock test series for Computer Science Engineering (CSE) Exam by signing up for free.
Here you can find the meaning of Consider the following propositional statements:P1 : ((A ∧ B) → C)) ≡ ((A → C) ∧ (B → C))P2 : ((A ∨ B) → C)) ≡ ((A → C) ∨ (B → C))which one of the following is true?a)P1 is a tautology, but not P2b)P2 is a tautology, but not P1c)P1 and P2 are both tautologiesd)Both P1 and P2 are not tautologiesCorrect answer is option 'D'. Can you explain this answer? defined & explained in the simplest way possible. Besides giving the explanation of Consider the following propositional statements:P1 : ((A ∧ B) → C)) ≡ ((A → C) ∧ (B → C))P2 : ((A ∨ B) → C)) ≡ ((A → C) ∨ (B → C))which one of the following is true?a)P1 is a tautology, but not P2b)P2 is a tautology, but not P1c)P1 and P2 are both tautologiesd)Both P1 and P2 are not tautologiesCorrect answer is option 'D'. Can you explain this answer?, a detailed solution for Consider the following propositional statements:P1 : ((A ∧ B) → C)) ≡ ((A → C) ∧ (B → C))P2 : ((A ∨ B) → C)) ≡ ((A → C) ∨ (B → C))which one of the following is true?a)P1 is a tautology, but not P2b)P2 is a tautology, but not P1c)P1 and P2 are both tautologiesd)Both P1 and P2 are not tautologiesCorrect answer is option 'D'. Can you explain this answer? has been provided alongside types of Consider the following propositional statements:P1 : ((A ∧ B) → C)) ≡ ((A → C) ∧ (B → C))P2 : ((A ∨ B) → C)) ≡ ((A → C) ∨ (B → C))which one of the following is true?a)P1 is a tautology, but not P2b)P2 is a tautology, but not P1c)P1 and P2 are both tautologiesd)Both P1 and P2 are not tautologiesCorrect answer is option 'D'. Can you explain this answer? theory, EduRev gives you an ample number of questions to practice Consider the following propositional statements:P1 : ((A ∧ B) → C)) ≡ ((A → C) ∧ (B → C))P2 : ((A ∨ B) → C)) ≡ ((A → C) ∨ (B → C))which one of the following is true?a)P1 is a tautology, but not P2b)P2 is a tautology, but not P1c)P1 and P2 are both tautologiesd)Both P1 and P2 are not tautologiesCorrect answer is option 'D'. Can you explain this answer? tests, examples and also practice Computer Science Engineering (CSE) tests.
Explore Courses for Computer Science Engineering (CSE) exam

Top Courses for Computer Science Engineering (CSE)

Explore Courses
Signup for Free!
Signup to see your scores go up within 7 days! Learn & Practice with 1000+ FREE Notes, Videos & Tests.
10M+ students study on EduRev