C  ::=  L  |  (G)  |  C ∧ L  |  C ∧ (G)
D  ::=  B  |  D ∨ B
G  ::=  L ∨ L  |  G ∨ L
B  ::=  L  |  B ∧ L
L  ::=  p  |  ¬p