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

please help me out ​
which of these can only develop in females
What is the difference between a line graph and a scatter plot?
4x + 5 = x + 26​ need help
Express the integral f(x, y, z) dV E as an iterated integral in six different ways, where E is the solid bounded by the given surfaces. y = x2, z = 0, y + 4z =
¿Tú en la clase de ciencias con tu prima Ángela?
Suppose a pack of candy bars has 4 bars. Each bar weighs 5.78 ounces. How much does the pack weigh?
What is the sign of -1.69+(-1.69)
List the eight major physical regions of Africa What do these different regions tell you about Africa?
Solve equation and show all steps what is 3/8x=36