The Answer to the Question
is below this banner.
Here's the Solution to this Question
Let us prove that is a tautology using proof by contraposition. Suppose that the formula is not a tautology. Then there exists such that The definition of implication implies that and .
The definitions of conjunction and disjunction imply that and It follows from that Consequently, and we have a contradiction with Therefore, our assumption is not true, and we conclude that the formula is a tautology.