To construct formulas, you may use 5 different types of building blocks.
Find below a detailed description of each block.
Next: Literals