Is this a Tautology...
(A => (B v C)) V (A => (¬B ^ ¬C))
*
Hello, *skywalker*!
Is this a Tautology?
. .
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.