Both A and C use qualifier ranges to contract and expand equivalents. Quantifiers on both sides of A should be opposite, and quantifiers on both sides of C should be the same.

B is the negative equivalent of quantifier.

D the distribution rule of conjunction or disjunction using quantifiers, in which quantifiers are assigned to disjunction rather than conjunction.