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:
(1)
(the law of commutativity);
(2)
(the law of associativity);
(3)
(the law of absorption);
(4)
(the laws of distributivity);
(5)
(the law of contradiction);
(6)
(the law of the excluded middle);
(7)