En lógica clásica formula_12 es equivalente a formula_13, y por las leyes de De Morgan equivalente a formula_14.