D  ::=  B  |  D ∨ B
B  ::=  L  |  B ∧ L
L  ::=  p  |  ¬p