Question 986849
<font face="Times New Roman" size="+2">
<pre>

 J   K   L   K&#8594;L   J&#8594;(K&#8594;L)   J&#8594;L   K&#8594;(J&#8594;L)  JvK  (JvK)&#8594;L
 T   T   T    T      T        T      T       T      T
*T   T   F    F      F        F      F       T      F
 T   F   T    T      T        T      T       T      T
*T   F   F    T      T        F      T       T      F
 F   T   T    T      T        T      T       T      T
*F   T   F    F      T        T      T       T      F
 F   F   T    T      T        T      T       F      T
 F   F   F    T      T        T      T       F      T
</pre>
Counterexamples marked with *.


John
*[tex \LARGE e^{i\pi}\ +\ 1\ =\ 0]
My calculator said it, I believe it, that settles it

*[tex \Large \ \
*[tex \LARGE \ \ \ \ \ \ \ \ \ \