(BLOCK_1)
(a)
(a)
(a)

(BLOCK_2)
((a) AND (b))
((a) AND (b))

(BLOCK_3)
((a) OR (b))
((a) OR (b))

(BLOCK_4)
(((a) OR (b)) OR (c))
(((a) OR (b)) OR ((c) AND (d)))

(BLOCK_5)
(((a) AND (b)) AND (c))
(((a) AND (b)) AND (c))
((a) AND ((b) AND (c)))

(BLOCK_6)
(((a) OR (b)) OR (c))
(((a) OR (b)) OR (c))
((a) OR ((b) OR (c)))

(BLOCK_7)
(((a) AND (b)) OR (c))
(((a) AND (b)) OR (c))
((a) AND ((b) OR (c)))

(BLOCK_8)
(((a) OR (b)) AND (c))
(((a) OR (b)) AND (c))
((a) OR ((b) AND (c)))

(BLOCK_9)
(((a) AND (b)) AND ((c) OR ((d) AND (e))))
((a) AND (((b) AND ((c) OR (d))) AND (e)))
((((a) AND ((b) AND (c))) OR (d)) AND (e))

(BLOCK_10)
NOT (a)
NOT (a)
NOT (a)
NOT (a)
NOT (a)
NOT (a)
NOT (a)
NOT (a)
NOT (a)

(BLOCK_11)
(NOT (a) AND NOT (b))
(NOT (a) AND NOT (b))
NOT ((a) AND (b))

(BLOCK_12)
(NOT (a) OR NOT (b))
(NOT (a) OR NOT (b))
NOT ((a) OR (b))

(BLOCK_13)
((NOT (a) OR NOT (b)) OR NOT (c))
((NOT (a) OR NOT (b)) OR (NOT (c) AND NOT (d)))
NOT (((a) OR (b)) OR ((c) AND (d)))
((NOT (a) OR NOT (b)) OR NOT ((c) AND (d)))

(BLOCK_14)
((NOT (a) AND NOT (b)) AND NOT (c))
((NOT (a) AND NOT (b)) AND NOT (c))
(NOT ((a) AND (b)) AND NOT (c))
(NOT (a) AND (NOT (b) AND NOT (c)))
(NOT (a) AND NOT ((b) AND (c)))

(BLOCK_15)
((NOT (a) OR NOT (b)) OR NOT (c))
((NOT (a) OR NOT (b)) OR NOT (c))
(NOT ((a) OR (b)) OR NOT (c))
(NOT (a) OR (NOT (b) OR NOT (c)))
(NOT (a) OR NOT ((b) OR (c)))

(BLOCK_16)
((NOT (a) AND NOT (b)) OR NOT (c))
((NOT (a) AND NOT (b)) OR NOT (c))
(NOT ((a) AND (b)) OR NOT (c))
(NOT (a) AND (NOT (b) OR NOT (c)))
(NOT (a) AND NOT ((b) OR (c)))

(BLOCK_17)
((NOT (a) OR NOT (b)) AND NOT (c))
((NOT (a) OR NOT (b)) AND NOT (c))
(NOT ((a) OR (b)) AND NOT (c))
(NOT (a) OR (NOT (b) AND NOT (c)))
(NOT (a) OR NOT ((b) AND (c)))

(BLOCK_18)
((NOT (a) AND NOT (b)) AND (NOT (c) OR (NOT (d) AND NOT (e))))
((NOT (a) AND NOT (b)) AND NOT ((c) OR (NOT (d) AND NOT (e))))
((NOT (a) AND NOT (b)) AND NOT ((c) OR NOT ((d) AND (e))))
(NOT (a) AND NOT (((b) AND NOT ((c) OR (d))) AND NOT (e)))
(((NOT (a) AND (NOT (b) AND NOT (c))) OR NOT (d)) AND NOT (e))
(NOT (((a) AND NOT ((b) AND (c))) OR NOT (d)) AND NOT (e))

(BLOCK_19)
(a(b))
(a(b))
(a(b,c))
(a(b, c))
(a( b , c ))
(a(b,c,d,e,f,g))

(BLOCK_20)
((a(b)) AND (c(d)))
(((a(b)) AND (c(d))) OR (e(f)))
((a(b)) AND ((c(d)) OR (e(f))))
(NOT (a(b)) AND (NOT (c(d)) OR NOT (e(f))))
(NOT (a(b)) AND NOT ((c(d)) OR (e(f))))