LinkBack URL
About LinkBacks
Tautology
Is this a Tautology...
(A => (B v C)) V (A => (¬B ^ ¬C))
*
Hello, *skywalker*!
Is this a Tautology?
. .![[A \to (B \vee C)] \;\vee \;[A \to (\sim B \:\wedge \sim C)]](http://latex.codecogs.com/png.latex?[A \to (B \vee C)] \;\vee \;[A \to (\sim B \:\wedge \sim C)])
The two "sides" are logically equivalent (by DeMorgan's Law)
. . but they are not neccesarily always true.
If we set up the standard truth table, we have:
. .
The left side and right side form this truth table:
. .
It is not a tautology.
  |
