Hey everyone,(adsbygoogle = window.adsbygoogle || []).push({});

Thanks for the help in advance. I am having trouble deriving a tautology from no premises.

I am trying to derive:

(X <-> Y) v (X <-> -Y) "-" meaning not.

However, I keep getting stuck. It seems very similar to the Law of the Excluded Middle but I am having trouble changing that derivation. Any help or suggestions of where to start would be appreciated.

Thanks

Jax

**Physics Forums | Science Articles, Homework Help, Discussion**

Join Physics Forums Today!

The friendliest, high quality science and math community on the planet! Everyone who loves science is here!

The friendliest, high quality science and math community on the planet! Everyone who loves science is here!

# Having trouble with Logic Derivation - please help

**Physics Forums | Science Articles, Homework Help, Discussion**