Ex. Assumption:

1. (A É ~B) É C
2. (~(~A v ~B) v C) É (D v ~~E)

/\ D v E

1. ~A v B
2. D v A
3. D É C

/\ ~C É B

3)

1. A É B
2. ~C É D
3. ~(B · C)

/\ ~A v D

4)

1. A É E
2. C É D
3. B É ~D
4. ~E v B

/\ ~(A · C)

5)

1. (A v ~B) v (C · D)
2. (A v ~B) É (D v H)
3. (D v H) É ~G
4. ~~G

/\ H · ~~G

6)

1. (E É B) · C
2. (B · C) É ~D
3. E É D

/\ ~E

7)

1. A É (C v D)
2. (~D · A) É B

/\ (~D · (C É ~B) É ~A

8)

1. ~(D v C) É A
2. (D v C) É (B É J)
3. ~(A · ~G)

/\ B É (J v G)