+7 votes
540 views

Choose the correct alternatives (more than one may be correct) and write the corresponding letters only:

Which of the following is/are a tautology?

1. $a \vee b \to b \wedge c$
2. $a \wedge b \to b \vee c$
3. $a \vee b \to \left(b \to c \right)$
4. $a \to b \to \left(b \to c \right)$
asked
edited | 540 views

## 1 Answer

+12 votes
Best answer
Answer: B

$\left(a \wedge b \right) \to b \vee c$
$\implies \neg \left(a \wedge b \right) \vee b \vee c$
$\implies \neg a \vee \neg b \vee b \vee c$
$\implies T$

Option A is not TRUE when C is FALSE
Option C is not TRUE when b is TRUE and C is FALSE
Option D is not TRUE when a and b are TRUE and C is FALSE.
answered by Veteran (35.9k points)
selected
When I am solving option (b) , after simplification , I get  (~a +1+ c ) . So , for a=1 , b=0 , c=0 , output is 1.

and when I solve option (d) , after simplification I get (~a+~b+c) .

So , option (b) is tautology
Tautology means after simplification you should get TRUE.
ohkk , my mistake.. sorry .. Thanks a lot.

How to treat option D? (the associtivity)  a->(b->(b->c)) or (a->b)->(b->c)

Is not option (d) ambiguous?
Take it either way - both are not tautology for option D.

+10 votes
5 answers
1
+14 votes
2 answers
2
+10 votes
2 answers
3