Formulas are constructed via
~ (negation) and parentheses. There are
no binding preferences between conjunction and disjunction, so they have to be
properly parenthesised. Atomic propositions
are any sequence of letters, e.g.
F are interpreted as truth and falsehood,
An example formula is
x & (c | d) & ~e.