Is this a Tautology...
(A => (B v C)) V (A => (¬B ^ ¬C))
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.