menu search
person

Let F1(A,B,C) = (A∧~B) ∨ [~C ∧ (A ∨ B)] ∨~A and F2(A, B) = (A ∨ B) ∨ (B →~A) be two logical expressions. Then :

(1) F1 and F2 both are tautologies

(2) F1 is a tautology but F2 is not a tautology

(3) F1 is not tautology but F2 is a tautology

(4) Both F1 and F2 are not tautologie

thumb_up_alt 50 like thumb_down_alt 0 dislike
56 views

1 Answer

 
verified

Correct option is (3) (3) F1 is not tautology but F2 is a tautology

F1 : (A ∧~B) ∨[~C ∧ (A ∨ B)] ∨~A

F2 : (A ∨ B) ∨ (B →~A)

F1 : {(A ∧~B) ∨~A} ∨ [(A ∨ B) ∧~C]

: {(A ∨ ~A) ∧ (~A ∨ ~B)} ∨ [(A ∨ B) ∧ ~C]

: {t ∧ (~A ∨ ~B)} ∨ [(A ∨ B) ∧ ~C]

: (~A ∨ ~B) ∨ [(A ∨ B) ∧ ~C]

\(\underbrace{[(\text ~A∨\text~B∨(A∨B))]}_t\)\([(\text ~A∨\text~B)∧\text~C]\)

F1 : (~A ∨ ~B) ∧ ~ C ≠ t (tautology)

F2 : (A ∨ B) ∨ (~B ∨ ~A) = t (tautology)

thumb_up_alt 50 like thumb_down_alt 0 dislike

Related questions

thumb_up_alt 50 like thumb_down_alt 0 dislike
15 views 1 answer
thumb_up_alt 50 like thumb_down_alt 0 dislike
12 views 1 answer
thumb_up_alt 50 like thumb_down_alt 0 dislike
13 views 1 answer

1.9k questions

1.5k answers

13 comments

69 users

Welcome to Brainiak.in , where you can ask questions and receive answers from other members of the community , There is many categories for every students , CBSE , Maharashtra board , JEE , NEET and we will add more categories and make brainiak one of the most loved community of students .
...