Is the following a tautology?

Printable View