In order to determine if
is a tautology, we make a truth table.