16. } \neg A \wedge \neg B \text { 17. } A \vee(B \vee C) \text { 18. }(A \wedge(B \vee C)) \vee D \text { 19. } \neg(\neg A \Longrightarrow(B \wedge C)) \text { 20. } \neg \neg A \text { 21. }((A \Longrightarrow B) \wedge(B \Longrightarrow C)) \Longrightarrow(A \Longrightarrow C) \text { 22. }(A \wedge B) \wedge \neg(B \wedge C) \text { 23. } A \vee((B \Longrightarrow C) \wedge \neg(D \vee E))
Fig: 1
Fig: 2
Fig: 3
Fig: 4
Fig: 5
Fig: 6
Fig: 7
Fig: 8
Fig: 9