Tables for arbitrary functions of the algebra of logic are constructed in a similar manner. This is the so-called tabular way of specifying functions of the algebra of logic. The tables themselves are sometimes called truth tables. The following equalities play an important part in the transformations of formulas into equivalent formulas: