Logical formulas
Under construction
Next section: Truth tables