Quel est un exemple d'une formule de 3-CNF insatisfaisante?

Question

J'essaye d'envelopper ma tête autour d'une preuve de récompense NP qui semble tourner autour de SAT / 3CNF-SAT.

C'est peut-être l'heure tardive, mais j'ai peur de ne pas pouvoir penser à une formule 3CNF qui ne peut pas être satisfaite (je manque probablement quelque chose d'évident).

Pouvez-vous me donner un exemple pour une telle formule?