brodybrown90231 brodybrown90231
  • 01-09-2020
  • Mathematics
contestada

Use known logical equivalences to prove that a → (b → c) is logically equivalent to (a ^ b) → c.

Respuesta :

belgrad belgrad
  • 06-09-2020

Answer:-

a ∨ ( b ∨ c )    ⇔ (a ∨ b )∨ c ⇔ (a∧b)∨c ⇔(a∧b)→c

Step-by-step explanation:

Explanation :-

we know that   b→ c ⇔ b∨c

Replacing b→ c ⇔ b ∨ c , we get

               a → b ∨ c ,

By the same rule b→ c ⇔ b∨c

                     ⇒   a ∨ ( b ∨ c )

Now

 a ∨ ( b ∨ c )    ⇔ (a ∨ b )∨ c ⇔ (a∧b)∨c ⇔(a∧b)→c

Answer Link

Otras preguntas

plz helpp with this french hw!
what evidence shows that sumerians where not prehistoric
What number is halfway between 3000 and 4000
What numbers add up to -5 and multiply to get -90
There are two ways of adding two square numbers to make 65. Write a different square number in each box. [ ] + [ ].
What features of colonial politics in 18th century America contributed to the development of popular democracy, and what kept political life from being more tru
how do you solve: 4 + |k + 1| <15
Does the equator cross the northern or southern part of South America? South America is located mostly in which two hemispheres?
work out the parallelogram of base 6cm and height 8cm
Which cell part converts food into energy that is usable by a cell?