Preuve que le problème de conception de circuit est NP-Duro [fermé

Question

J'ai le problème suivant et je veux montrer qu'il est du NP-Hard (ou NP-complete).

Considérez une clause qui peut avoir une relation ou xor entre littéraux, par exemple C_1 = y_1 lor y_2 lor (y_3 oplus y_4) $. L'attribution des littéraux de telle sorte que l'équation donnée par la conjonction de ces clauses, par exemple C_1 Wedge C_2 Wedge C_3 ldots $, est satisfaite ou non un problème dans NPC ou P?

Je soupçonne que le circuit assis peut y être réduit, mais je ne peux pas y arriver.