Please enable JavaScript.

Coggle requires JavaScript to display documents.

¬¬¬((((A ⇒ B)∧(¬A∨A))∨(A ⇒ ¬B)) ⇔ (((A∨C)∨(C∧¬B)) ⇒ ((A ⇔ ¬C)∧(¬A ⇒ ¬B))))…

- - - - (((A ⇒ B)∧(¬A∨A))∨(A ⇒ ¬B))
        
        ((A ⇒ B)∧(¬A∨A))
        
        (A ⇒ B)
        
        A
        
        B
        
        (¬A∨A)
        
        ¬A
        
        A
        
        A
        
        (A ⇒ ¬B)
        
        A
        
        ¬B
        
        B
      - (((A∨C)∨(C∧¬B)) ⇒ ((A ⇔ ¬C)∧(¬A ⇒ ¬B)))
        
        ((A∨C)∨(C∧¬B))
        
        (A∨C)
        
        A
        
        C
        
        (C∧¬B)
        
        C
        
        ¬B
        
        B
        
        ((A ⇔ ¬C)∧(¬A ⇒ ¬B))
        
        (A ⇔ ¬C)
        
        A
        
        ¬C
        
        C
        
        (¬A ⇒ ¬B)
        
        ¬A
        
        A
        
        ¬B
        
        B
        
        ∧