Determine whether each of the following propositions is atautology: