Which one of the following statements is not a tautology?