Formula → conjunct ∧ Formula
Formula → ε
conjunct → literal ∨ conjunct
conjunct → ε
literal → atomic
literal → negatomc
atomic → p, q, r . . .
negatomic → ¬ atomic
Notice how in this case the production rules have genuine natural semantic
meaning.