Grafo delle implicazioni rappresentante l'istanza del problema 2-satisfiability rappresentata dall'espressione:
  
    
      
        
          
            (
            
              x
              
                0
              
            
            ∨
            
              x
              
                2
              
            
            )
            ∧
            (
            
              x
              
                0
              
            
            ∨
            ¬
            
              x
              
                3
              
            
            )
            ∧
            (
            
              x
              
                1
              
            
            ∨
            ¬
            
              x
              
                3
              
            
            )
            ∧
            (
            
              x
              
                1
              
            
            ∨
            ¬
            
              x
              
                4
              
            
            )
            ∧
            (
            
              x
              
                2
              
            
            ∨
            ¬
            
              x
              
                4
              
            
            )
            ∧
            

            
          
        
        
          
          
            (
            
              x
              
                0
              
            
            ∨
            ¬
            
              x
              
                5
              
            
            )
            ∧
            (
            
              x
              
                1
              
            
            ∨
            ¬
            
              x
              
                5
              
            
            )
            ∧
            (
            
              x
              
                2
              
            
            ∨
            ¬
            
              x
              
                5
              
            
            )
            ∧
            (
            
              x
              
                3
              
            
            ∨
            
              x
              
                6
              
            
            )
            ∧
            (
            
              x
              
                4
              
            
            ∨
            
              x
              
                6
              
            
            )
            ∧
            (
            
              x
              
                5
              
            
            ∨
            
              x
              
                6
              
            
            )
            .
          
        
      
    
    {\displaystyle \scriptscriptstyle (x_{0}\lor x_{2})\land (x_{0}\lor \lnot x_{3})\land (x_{1}\lor \lnot x_{3})\land (x_{1}\lor \lnot x_{4})\land (x_{2}\lor \lnot x_{4})\land {} \atop \quad \scriptscriptstyle (x_{0}\lor \lnot x_{5})\land (x_{1}\lor \lnot x_{5})\land (x_{2}\lor \lnot x_{5})\land (x_{3}\lor x_{6})\land (x_{4}\lor x_{6})\land (x_{5}\lor x_{6}).}