Minimal true-implies-false and true-implies-true sets of propositions in noncontextual hidden-variable theories | Publicación