127k views
5 votes
Is ( ¬ (( ∨ ( ∧ )) ∨ ( → ))) logically equivalent to (¬ ((( ¬ (¬)) ∨ ) ∨ ))?

User Dean Chalk
by
5.0k points

1 Answer

0 votes

Answer:

of course

Explanation:

On the surface, it seems easy. Can you think of the integers for x, y, and z so that x³+y³+z³=8? Sure. One answer is x = 1, y = -1, and z = 2. But what about the integers for x, y, and z so that x³+y³+z³=42?

That turned out to be much harder—as in, no one was able to solve for those integers for 65 years until a supercomputer finally came up with the solution to 42. (For the record: x = -80538738812075974, y = 80435758145817515, and z = 12602123297335631. Obviously.)

User Mjd
by
5.4k points
Welcome to QAmmunity.org, where you can ask questions and receive answers from other members of our community.