2CNF con 3 eventi variabili

Domanda

Se non consentiamo le clausole unitarie, 2CNF contenente 3 eventi per variabile non è soddisfacente?

Ogni volta che provo a collegare variabili opposte a un ciclo, devo disegnare 4 bordi per almeno una variabile (2 per eventi positivi e negativi).

Quindi, è anche possibile?

Nessuna soluzione corretta

Autorizzato sotto: CC-BY-SA insieme a attribuzione