$\begin {array} {1 1} (A)\;tautology & \quad (B)\;contradiction \\ (C)\;neither\: A \: nor\: B & \quad (D)\;either\: A\: or\: B \end {array}$